Запитання з тегом «algebraic-topology»

В даний час біткойн має систему підтвердження роботи (PoW) з використанням SHA256. Інші хеш-функції використовують доказ графіків використання робочої системи, часткову інверсію хеш-функції. Чи можливо використовувати проблему вирішення в теорії вузлів, наприклад розпізнавання вузлів, і зробити це доказом роботи функції? Також хтось робив це раніше? Крім того, коли ми маємо …

23 cc.complexity-theory  reference-request  cr.crypto-security  algebraic-topology 

Мені було цікаво, які папери я повинен прочитати, щоб зрозуміти це питання Несподіваний зв’язок з іншими сферами математики, такими як алгебраїчна геометрія або вища когомологія. Можливо, навіть область математики ще не розвинена. Можливо, хтось виробить зовсім новий напрямок математики, щоб впоратися з питанням P проти NP. -З Fortnow 2002 Іншим …

22 cc.complexity-theory  reference-request  gct  algebraic-topology 

Добре відомо, що К5К5K_5 і К3 , 3К3,3K_{3,3} є забороненими неповнолітніми для плоских графіків. Існують сотні заборонених неповнолітніх для графіків, вбудованих на торі. Кількість заборонених неповнолітніх для графіків, вбудованих на поверхню роду g, є експоненціальною функцією g . Моє запитання таке: Чи є явний графік ГтГтG_t на вершинах t (що …

17 graph-theory  co.combinatorics  graph-minor  algebraic-topology 

GI та Knot Problem - це проблема вирішення структурної еквівалентності математичних об'єктів. Чи є результати, що встановлюють зв'язки між ними? Хороші зв’язки проблеми вузла зі статистичною фізикою були досліджені за допомогою вузлів поліномів , чи є подібні результати для ?Г яГЯGI Було б особливо корисно знати, чи є якісь стандартні …

14 cc.complexity-theory  reference-request  graph-theory  graph-isomorphism  algebraic-topology 

Борсука-Улама теорема стверджує , що для кожної безперервної непарної функції з п-сфери в евклідовому просторі п-, існує точка таке , що .gggx0x0x_0g(x0)=0g(x0)=0g(x_0)=0 Simmons and Su (2002) описують метод наближення точки використовуючи Таккера . Однак незрозуміло, у чому полягає складність їх методу під час виконання.x0x0x_0 Припустимо, нам дано оракул для функції …

10 approximation-algorithms  time-complexity  topology  algebraic-topology 

Я теоретик гомотопії, цікавлюсь інформатикою. Я хотів би запитати, які цікаві програми гомотопічної алгебри (категорії моделей, категорії нескінченності, спрощені категорії тощо) в теоретичній інформатиці?

9 big-list  algebraic-topology