HiveBrain v1.2.0
Get Started
← Back to all entries
patternMinor

For a computational problem, can the set of instances be finite?

Submitted by: @import:stackexchange-cs··
0
Viewed 0 times
problemcanthefiniteinstancescomputationalforset

Problem

A computational problem consists of a set of instances. In most cases the set of instances is infinite. Like the set of all graphs, e.g.:


Given a graph $G$, is there a Hamiltonian circuit in $G$?

Can the set of instances be finite and a problem still be non-trivial?

Solution

A finite problem can be decided in O(1) time: we can simply compare the input to a finite (bounded) list of known cases, and emit the output consequently.

Indeed, for that we do not need a Turing powerful system: a finite-state automaton suffices.

So, the problem is indeed trivial.

Co-finite (finite complement) problems are similarly trivial.

Context

StackExchange Computer Science Q#69640, answer score: 5

Revisions (0)

No revisions yet.