
While seemingly similar, finding a descending sequence in an ill-founded linear order is computationally weaker than finding a bad sequence in a non-well quasi-order, as demonstrated through Weihrauch reducibility.


coremsg

on-the-computational-weakness-of-finding-descending-sequences-in-ill-founded-linear-orders-compared-to-finding-bad-sequences-in-non-well-quasi-orders


On the Computational Weakness of Finding Descending Sequences in Ill-Founded Linear Orders Compared to Finding Bad Sequences in Non-Well Quasi-Orders


title_rewrite


非整礎的線形順序における下降列を見つける問題 (DS) と、非整礎的擬順序における無限降鎖を見つける問題 (BS) は、一見類似しているように見えるが、計算量の観点から厳密な違いがある。DS は BS よりも厳密に弱く、その違いはそれらの一次部分の分離によって示される。しかし、DS と BS は、有限部分と決定性部分においては同じ計算量を持つ。


非整礎的線形順序における下降列発見の限界