Munur á milli breytinga „Samræmingarverkefni Posts“

m
ekkert breytingarágrip
m
m
'''Samræmingarverkefni Posts'''<ref>[https://notendur.hi.is/hh/kennsla/rrr/h06/ordalisti.html Algorithms, Logic, and Complexity] Icelandic-english course dictionary</ref> er [[óleysanlegt vandamál|óleysanlegt]] [[ákvörðunarvandamál]] sem [[Emil Post]] lagði til árið [[1946]]. Vandamálið gengur út á að taka tvo endanlega orðalista <math>\alpha_{1}, \ldots, \alpha_{N}</math> og <math>\beta_{1}, \ldots, \beta_{N}</math> úr einhverju stafrófi <math>A</math> sem inniheldur minnst tvö tákn og skilar röð af [[vísir|vísum]] <math>(i_k)_{1 \le k \le K}</math> þar sem <math>K \ge 1</math> sog <math> 1 \le i_k \le N</math> fyrir öll <math>k</math> svo að
 
: <math>\alpha_{i_1} \ldots \alpha_{i_K} = \beta_{i_1} \ldots \beta_{i_K}.</math>
15.625

breytingar