Munur á milli breytinga „Samræmingarverkefni Posts“

m
ekkert breytingarágrip
(Ný síða: '''Samræmingarverkefni Posts'''<ref>[https://notendur.hi.is/hh/kennsla/rrr/h06/ordalisti.html Algorithms, Logic, and Complexity] Icelandic-english course dictionary</ref> er [[óley...)
 
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> s <math> 1 \le i_k \le N</math> fyrir öll <math>k</math> svo að
'''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> s <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>
[[en:Post correspondence problem]]
[[es:Problema de correspondencia de Post]]
[[he:בעיית ההתאמה של פוסט]]+
[[nl:Correspondentieprobleem van Post]]
[[pl:Problem odpowiedniości Posta]]
15.625

breytingar