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

Частина труднощів дізнатися більше про цю проблему полягає в тому, що проблема зіставлення графіків відрізняється від її набагато більш відомого двоюрідного брата, проблеми відповідності, але важко її відрізнити при використанні пошукових систем. Дано два графіки G=(V,E)G=(V,E)G=(V,E) та G′=(V′,E′)G′=(V′,E′)G'=(V',E') такі, що |V|=|V′||V|=|V′||V| = |V'|, завдання полягає в тому, щоб знайти біекцію …

11 reference-request  graph-theory  graph-isomorphism 

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

11 reference-request  cr.crypto-security 

Чи відома / вивчена ця досконала інформаційна гра, що грається на графіках? Враховуючи графік G=(V,E)G=(V,E)G= (V,E) , два гравці по черзі вибирають край або ізольований вузол. Якщо гравець вибирає край e=(u,v)e=(u,v)e = (u,v) два вузли uuu та vvv видаляються разом із падаючими ребрами. Якщо гравець вибирає ізольований вузол, вузол видаляється. …

11 reference-request  combinatorial-game-theory 

Дуже цікавою відкритою проблемою при вивченні заходів складності булевої функції є так звана гіпотеза чутливості проти блоку. Щоб дізнатися про чутливість та чутливість до блоку, ви можете ознайомитись із наступним поштовим повідомленням S. Aaronson на веб- сайті http://www.scottaaronson.com/blog/?p=453 . Наскільки мені відомо, найкраща верхня межа, відома на з точки зору …

11 cc.complexity-theory  reference-request  fourier-analysis 

Деякі відомості: Мені цікаво знайти "менш відомі" нижчі межі (або результати твердості) для проблеми "Навчання з помилками" (LWE) та їх узагальнення на зразок навчання з помилками над кільцями. Для конкретних визначень тощо, ось приємне опитування Регева: http://www.cims.nyu.edu/~regev/papers/lwesurvey.pdf Стандартний тип припущення (R) стилю LWE - це через (можливо, квантове) скорочення до …

11 cc.complexity-theory  reference-request  cr.crypto-security  machine-learning  lg.learning 

Мене цікавить питання про те, чи рівний NP співзвучність чи ні. Я дуже вдячний за пораду щодо хороших публікацій, яку прочитав на цю тему. Для запису я знаю, що це питання тісно пов'язане з питанням, чи P дорівнює NP чи ні (такий, якщо NP! = CoNP, то P! = NP). …

11 cc.complexity-theory  reference-request  p-vs-np 

EDIT (За Тарою Б): Я все ще зацікавився б посиланням на доказ цього, оскільки мені довелося це доводити для себе. Я шукаю доказ теореми 4, який з’являється в цій статті: Нескінченна ієрархія перетину мов, що не містять контексту , Лю та Вайнера. Теорема 4: - мірне Афінний різноманіття виявляється у …

11 reference-request  fl.formal-languages  linear-algebra  context-free-languages  lattice 

Нехай 1 , 2 , ... , м послідовність цілих чисел , де кожна J ∈ { 1 , 2 , ... , п } . Для i ∈ { 1 , 2 , … , n } , нехай m i = | { j : a j = …

11 ds.algorithms  reference-request  communication-complexity  data-streams 

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

11 reference-request  cg.comp-geom 

Зараз я розглядаю хороший довідковий матеріал, що стосується немісцевих ігор з корисними аспектами в квантовій комунікації. Наприклад, мені відомо, що не локальні ігри добре знижують складну комунікаційну складність, а також забезпечують безпеку протоколів QKD. Що я хотів би знати, - які основні статті щодо нелокальних ігор у квантовій комунікації? Чи …

11 reference-request  quantum-computing  communication-complexity  quantum-information 

Мені хотілося б знати, чи можна вирішити наступну проблему в (недетермінованому просторі журналів):N LNL\mathsf{NL} Враховуючи спрямований графік з двома розрізненими вершинами і , чи існує унікальний шлях від до в ?с тГGGсssтttт ГсssтttГGG Я відчуваю, що це, ймовірно, буде в оскільки ми можемо вирішити як наявність - шляху, так і …

11 reference-request  graph-theory 

Чи можливо побудувати алгоритм, який приймає як вхід автоматичний автоматичний вимикач разом із обіцянкою того, що мова, прийнята цим автоматом L ( M ), є детермінованою безконтекстною мовою і видає детермінований автоматичний автоматичний вимикач N, який точно приймає прийняту мову від М ?МMMЛ ( М)L(M)L(M)NNNМMM Еквівалентною проблемою було б побудувати …

11 reference-request  computability  fl.formal-languages  automata-theory 

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

11 reference-request  lo.logic  computability  finite-model-theory 

Умовна логіка - це логіка, яка збільшує традиційний логічний вплив з модальними операторами, що відповідають іншим поняттям умови (наприклад, причинно-наслідкова читає " A викликає" B "або ймовірнісне обумовлення" A | Б "яка говорить" A дану B «).A□→BA◻→BA\; \square\!\!\!\!\to BAAAA|BA|BA|BAAABBB Зазвичай ці логіки вивчаються теоретично модельно, але я замислювався над їх …

11 reference-request  lo.logic  pl.programming-languages  type-theory  proof-theory 

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

11 cc.complexity-theory  reference-request  space-bounded  average-case-complexity