Запитання з тегом «reference-request»

Будь- плоский , відповідно, внешнепланарним граф задовольняє умову , відповідно, , для кожного подграфа з . Крім того, (зовнішні) планарні графіки можна розпізнати в поліноміальний час.| E ′ | ≤ 3 | V ' | - 6 | E ′ | ≤ 2 | V ' | - 3 G …

16 reference-request  graph-theory  graph-algorithms 

Мені цікаво, чи існують документи чи дослідження, що займаються видимими автоматичними витисканнями, але дозволяють слова, а не однієї літери, висуватися на стек. Крім того, конструкція, яка дозволила натискати символи на -переходи, могла досягти тієї ж мети.ϵϵ\epsilon Очевидно, що такі зміни можуть бути сформовані, але мені цікаво, чи це руйнує властивості …

16 reference-request  fl.formal-languages  automata-theory  context-free  context-free-languages 

Загальновідомо, що в System F ви можете кодувати двійкові продукти типу ; функції Потім можна визначити проекції тг 1 : × B → і π 2 : × B → B .A×B≜∀α.(A→B→α)→αA×B≜∀α.(A→B→α)→α A \times B \triangleq \forall\alpha.\; (A \to B \to \alpha) \to \alpha π1:A×B→Aπ1:A×B→A\pi_1 : A \times B \to …

16 reference-request  pl.programming-languages  dependent-type  parametricity 

Читаючи блог Діка Ліптона, я наткнувся на наступний факт наприкінці його допису " Борн Фактор" : Якщо для кожного існує відношення форми ( 2 n ) ! = m - 1 ∑ k = 0 a k b c k k де m = p o l y ( n …

16 ds.algorithms  reference-request  factoring  comp-number-theory 

З огляду на ннn вершин непрямого графа, який найвідоміший час виконання для пошуку підграгра, що є k × kк×кk\times k -біблік? Чи існують більш швидкі параметризовані алгоритми, ніж алгоритм часу "вгадування" однієї сторони бікліки і побачити, чи є принаймні інші вершини, що трапляються з усіма ними?( нк) poly(n)(нк)полі(н)\binom{n}{k}\mbox{poly}(n)ккk

16 ds.algorithms  reference-request  graph-algorithms  parameterized-complexity 

Чи доступний наступний рукопис у публічному доступі? Дана Скотт, 1969, Теорія обчислюваних функцій вищого типу . Неопубліковані конспекти семінару, 7 сторінок, Оксфордський університет. Цей документ обговорюється в розділі 8.1.2, Типи як набори , у Cardone & Hindley, 2006 р. Історія обчислення лямбда та комбінаційної логіки ; Крім того, розділ 10.1 …

16 reference-request  lo.logic  type-theory  domain-theory 

Візьміть спрямований графік де краї прикрашені натуральним числом. Ми хочемо, щоб набір усіх шляхівміж двома вершинамитатаким, щоб кожен наступний край шляху був прикрашений натуральним числом, яке перевищує натуральне число, що прикрашає попередній край.GGGPPPv1v1v_1v2v2v_2 Заявка на це буде розкладом руху автобусів або поїздів. Якщо ви намагаєтеся визначити різні маршрути між двома …

16 ds.algorithms  reference-request  graph-algorithms  terminology 

Добре відомо, що випадкові формули -CNF над n змінними з c n застереженнями є незадовільними (тобто вони суперечать) з високою ймовірністю, для досить великої постійної c . Таким чином, випадкові формули k -CNF (для c досить великі) становлять природний розподіл за незадовільними булевими формулами (або подвійно, над тавтологіями, тобто запереченнями …

16 cc.complexity-theory  reference-request  lo.logic  sat  random-k-sat 

З огляду на точки p1, … , Сторнp1,…,pнp_1,\ldots,p_n у і відстань знаходимо найбільшу підмножину цих точок такою, що евклідова відстань двох з них не перевищує . llRгRг\mathbb{R}^{d}ллlллl У чому полягає складність цієї проблеми? У графіку над точками, які мають ребро, коли відстань двох точок становить не більше , проблема еквівалентна …

16 ds.algorithms  reference-request  cg.comp-geom 

Припустимо, у вас є два довільно потужні учасники, які не довіряють один одному. Вони мають доступ до біт-зобов'язань (наприклад, герметичні конверти, що містять дані, які один гравець може передати іншому, але їх неможливо відкрити, поки перший гравець не надасть другому ключ). Чи можете ви скористатися цим для побудови забутого протоколу …

16 reference-request  cr.crypto-security 

Графіки без X - це графіки, які не містять графіка від X як індукованого підграграфа. Отвір є цикл, по крайней мере 4 -х вершин. Непарне отвір являє собою отвір з непарним числом вершин. Antihole є доповненням дірки. Графіки (непарні діри, непарні антихоли) - це саме ідеальні графіки; це сильна ідеальна …

16 reference-request  graph-theory  co.combinatorics  graph-classes 

Як і в області, публікації в журналі ACM про експериментальну алгоритмічну JEA . Які були фундаментальні твори? Які основні результати? Як вони характеризуються? Якісь цікаві зв’язки з іншими напрямками інформатики?

16 ds.algorithms  reference-request  experimental 

Що я повинен прочитати, щоб зрозуміти цю проблему? Потужність квантових схем малої глибини. Чи ? Іншими словами, чи можна «квантову» частину будь-якого квантового алгоритму стиснути на полілогічну (n) глибину, за умови, що ми готові робити класичну післяобробку поліноміального часу? (Це, як відомо, є алгоритмом Шор.) Якщо так, побудувати квантовий комп'ютер …

16 cc.complexity-theory  reference-request  quantum-computing 

Я знаходжу кілька книжок про комп’ютери, але всі вони стосуються технології. Я хочу щось більше пов'язане з теорією.

15 reference-request  soft-question  philosophy 

Я аспірант з математики, а теоретичні інформатики - це сфера, про яку я ніколи не розумів, про що йдеться, бо не міг добре прочитати цю тему. Я хочу знати, що насправді йде про цей домен, про які теми він стосується, які передумови необхідні для його вживання та ін. Поки я …

15 reference-request  soft-question  books