Як довести, що USTCONN вимагає логарифмічного простору?


19

USTCONN - проблема, яка вимагає вирішити, чи існує шлях від вихідної вершини до цільової вершини в графі , де всі вони задані як частина вводу.stG

Омер Рейнгольд показав, що USTCONN знаходиться в L (doi: 10.1145 / 1391289.1391291 ). Доказ будує розширювач постійного ступеня за допомогою zig-zag виробу. Розширювач постійного ступеня має логарифмічний діаметр, і потім можна перевірити всі можливі шляхи, використовуючи постійну кількість маркерів розміру логарифмічного розміру.

Результат Рейнгольда дає логарифмічну верхню межу складності простору USTCONN, вирішуючи його просторову складність "до постійного коефіцієнта" згідно з роботою. Мені цікаво відповідна нижня межа, яка ніде в статті не згадується.

Як можна довести, що логарифмічний простір необхідний для вирішення питання USTCONN в гіршому випадку?

Редагувати: Зафіксуйте вхідне подання матрицею суміжності базового симетричного простого спрямованого графіка вершини із рядками, переліченими послідовно, для формування бітового рядка.N×NNN2


Льюїс і Пападімітріу показали (doi: 10.1016 / 0304-3975 (82) 90058-5 ), що USTCONN є SL-повним, що з результату Рейнгольда означає, що SL = L. Савич показав (doi: 10.1016 / S0022-0000 (70) 80006-X ), що . Далі для будь-якої обчислюваної функції Стіарнсом, Хартманісом та Льюїсом (doi: 10.1109 / FOCS .1965.11 ), тому принаймні потрібно для USTCONN. Нарешті, звичайні класи, як відомо, знаходяться нижче L (наприклад,NSPACE(n)DSPACE(n2)DSPACE(f(n))=DSPACE(1)f(n)=o(loglogn)Ω(loglogn)NC1) визначаються за допомогою ланцюгів і очевидно не можна порівняти з будь-яким класом, визначеним з точки зору простору.

Наскільки я бачу, це залишає відкритою (мабуть, малоймовірною) можливість того, що існує ще кращий детермінований алгоритм, який використовує лише пробіл але , для деякого , або навіть недетермінованого алгоритму для USTCONN, який використовує простір.O((logn)δ)Ω(loglogn)δ<1o((logn)1/2)

За теоремою простір ієрархії , до тих пір, е (п) є просторово-конструктивні. Це може здатися припустити , що USTCONN не може бути в \ text {DSPACE} (o (\ log n)) . Однак, завершення USTCONN для L при зменшенні простору журналу не означає цього, мабуть, все ще можливо, що USTCONN має достатню структуру для кодування будь-якої проблеми в L за допомогою скорочення простору журналу, але USTCONN сам вимагає лише сублогіаритмічного простору.DSPACE(o(f(n))DSPACE(f(n))f(n)DSPACE(o(logn))

Поки в L є деяка мова, яка вимагає логарифмічного простору, то показ, що USTCONN є повним для L при строго "слабшому", ніж зменшення простору журналу, дасть бажану нижню межу.

Чи USTCONN повна для L при зменшенні, що вимагає пробілу?o(logn)

Іммерман показав (doi: 10.1137 / 0216051 ), що версія спрямованої досяжності, в якій бажаний шлях (але не сам графік) є детермінованим, є повним для L при скороченнях першого порядку, які можна обчислити за ланцюгами AC . Потім це може бути адаптовано, щоб показати, що USTCONN є повним для L при зменшенні FO. Однак, хоча AC суворо міститься в L, AC знову є класом ланцюга, і я не знаю жодного способу виконання FO-скорочень у сублогіаритмічному просторі.000


Редагувати 2015-07-14: Цікавим є філософське питання про те, чи повинен використання простору ТМ включати розмір індексу на вхід (таким чином, дозволяючи випадковий доступ до входу, але потрібен додатковий біт, якщо вхід подвоюється за розміром ), чи простір, який використовує ТМ, - це кількість квадратів робочої стрічки, відвіданих під час обчислення (що передбачає, що вхідна стрічка головки закріплена і не змінюється, коли вхідна стрічка подвоюється за розміром). Колишнє визначення стилю оперативної пам’яті одразу дає нижню межу журналу простору для будь-якогообчислення та моделює поточні комп’ютери, які відслідковують поточну позицію у файлі як зміщення від початку файлу. Останнє класичне визначення передбачає паперову стрічку з фіксованою головою для читання, яка нічого не знає про стрічку, окрім поточного символу введення, що, можливо, те, що Тюрінг задумав у своїй статті 1937 року.

Евристичні аргументи, такі як коментар Томаса про те, що навіть неможливо індексувати вхід пробілами , здаються, передбачають сучасне визначення стилю ОЗУ. Stearns / Hartmanis / Lewis використовують визначення стилю TM, як і більшість класичних робіт у обчисленні, обмеженому простором.o(logn)

Можна довести нижню межу простору журналу для USTCONN, представлену як матриця суміжності, зазначивши, що для одинарної мови досконалих квадратів потрібно розпізнавати журнальний простір (див. Русіш Фрейвальдс, Моделі обчислень, Гіпотеза Рімана та Класична математика , SOFSEM 1998, LNCS 1521, 89 . -106 DOI: 10.1007 / 3-540-49477-4_6 ( препринт)). Тоді така ж нижня межа застосовується до USTCONN з представленням матриці суміжності. Це, мабуть, занадто велика обман: зазвичай виконання обіцянки в проблемі з обіцянкою має бути простим порівняно з фактичною проблемою, але тут примусове виконання обіцянки, що вхід є графіком, вже дає нижню межу. Тож було б добре бачити аргумент нижньої межі журналу для проблеми обіцянки, коли вхід гарантовано з мови .{{0,1}N×NN=1,2,}


Ваш висновок "так, принаймні ... потрібен простір для UStCONN", не випливає з решти його речення, оскільки в для яких така робить не існує. o(log(log(n)))δ

5
Представлення входу стає важливим, оскільки з простором ми не можемо вказати або отримати доступ до довільного розташування у вході. Яке вхідне подання ви використовуєте? Чи можемо ми навіть показати, що USTCONN знаходиться в недетермінованому суб-логарифмічному просторі? o(logn)
Томас підтримує Моніку

FO = LTH = DLogTime рівномірний AC ^ 0
Kaveh

це дуже детально, і це чудово, але, здається, це допоможе пов'язати це з "офіційно відомими / визнаними відкритими проблемами", а також відомими повними проблемами (див. деякі останні, але, можливо, більше?) ... з яких це, мабуть, досить близько ... і зауважте, що це не гарний формат для цього, якщо так ... btw U в USTConn, схоже, означає Непідрядне право? fyi SJ на цьому сайті вивчав "низький рівень" STConn нижніх меж і його взаємозв'язок з USTConn, звичайно, мабуть, були б дуже природні зв'язки
vzn

Можливо, техніка складності зв'язку для доведення нижньої межі часового простору може допомогти: якщо простір менше то час менше значить, простір часу менше . Чи можемо ми якось позбутися у просторі та показати, якщо простір менше тоді простір менше ? lognn2n2lognlognlognn2
Каве

Відповіді:


13

У статті « Підрахунок кванторів, відносин спадкоємців та логарифмічного простору» Куша Етессамі доводить, що проблема (яка по суті перевіряє, чи вершина передує вершині у перевершенні одного графа , що обіцяно бути шляхом ) є -твердий за прогнозами без кількісних показників.ORDstGL

Проблема можна побачити , зводиться до задачі , по -reductions: З огляду на екземпляр з просто видалити край з і вивести інші ребра як непрямі краї питання , чи пов'язані у отриманому графіку. (Примітка. Скорочення, ймовірно, може бути ще більш точним.)ORDUSTCONNFOG,s,tORDtuv{u,v}USTCONNs,t


1
Спасибі! Це, здається, є детальним моїм остаточним коментарем щодо L-повноти USTCONN. Однак мені незрозуміло, що зменшення рівня ORD може бути здійснено в сублогіаритмічному просторі, тому це, здається, не відповідає головному питанню - показати, що USTCONN дійсно вимагає принаймні логарифмічного простору. Що я пропускаю?
Андрас Саламон

1
@AndrasSalamon: Ви пропускаєте запитання Томаса про представлення вводу, навіть якщо це не стосується питання, яке ви тільки що задали.
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.