Post's Correspondence Problem
GPTKB entity
Statements (100)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
decision problem
|
| gptkbp:application |
formal verification
algorithm design automata theory |
| gptkbp:description |
a set of pairs of strings
|
| gptkbp:dissolved |
no
|
| gptkbp:duration |
undecidable
|
| gptkbp:field |
theoretical computer science
|
| https://www.w3.org/2000/01/rdf-schema#label |
Post's Correspondence Problem
|
| gptkbp:introduced |
1946
|
| gptkbp:inventor |
gptkb:Emil_Post
|
| gptkbp:is_a |
a combinatorial problem
non-trivial problem |
| gptkbp:is_a_place_for |
gptkb:quantum_computing
artificial intelligence cryptography image processing machine learning computational linguistics computer vision human-computer interaction information theory natural language processing software architecture software development software maintenance bioinformatics data science signal processing graph theory network theory topology complexity theory game theory program verification software engineering practices software testing social network analysis software engineering control theory chaos theory dynamical systems automated theorem proving software design algorithmic randomness software metrics computational biology systems biology software engineering research software quality assurance formal methods software engineering standards software engineering principles software project management network science software engineering education software engineering methodologies software engineering ethics software engineering tools software engineering frameworks software engineering models software engineering paradigms software engineering practice software engineering education and training software engineering research and development software engineering tools and techniques software engineering collaboration and teamwork software engineering frameworks and methodologies software engineering innovation and creativity software engineering management and leadership software engineering processes software engineering tools and environments software engineering communication and documentation software engineering education and research software engineering ethics and professionalism software engineering practice and theory software engineering practices and standards software engineering principles and practices software engineering quality and assurance software engineering research and practice software engineering theory and practice software engineering tools and techniques. |
| gptkbp:is_evaluated_by |
a finite set of string pairs
|
| gptkbp:is_studied_in |
computer science
logic mathematics |
| gptkbp:is_used_in |
the study of decidability
|
| gptkbp:isConnectedTo |
the_Church-Turing_thesis
|
| gptkbp:offersServices |
a sequence of indices
|
| gptkbp:reduces |
other undecidable problems
|
| gptkbp:related_to |
the halting problem
|
| gptkbp:relatedTo |
gptkb:Hilbert's_problems
Turing machines computability theory formal languages recursive functions |
| gptkbp:requires |
algorithmic approach
|
| gptkbp:variant |
bounded version
generalized version weighted version |