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

У мене є проблема, яка знаходиться в NEXP і її також можна вирішити змінним ТМ, використовуючи експоненціальний час і лише одне чергування (починаючи в екзистенційному стані).НПNP^{\text{NP}} Чи відомо щось про NEXP ? Чи дорівнює NEXP чи іншому класу? Чи існують повні проблеми, крім загальної (з урахуванням машини NEXP і слова, …

11 cc.complexity-theory  reference-request  complexity-classes  nexp 

Це питання було мотивоване запитанням про stackoverflow . Припустимо, вам задано вкорінене дерево (тобто є корінь і у вузлів є діти тощо) на вузлах (позначено ).n 1 , 2 , … , nТTTнnn1 , 2 , … , п1,2,…,n1, 2, \dots, n Кожна вершина має невід'ємну цілу вагу: .ш iiiiшiwiw_i …

11 cc.complexity-theory  reference-request  np-hardness  tree  application-of-theory 

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

11 cc.complexity-theory  reference-request  lower-bounds  communication-complexity  norms 

DDD{0,1}d×{0,1}{0,1}d×{0,1}\{0,1\}^d\times \{0,1\}CCCf:{0,1}d→{0,1}f:{0,1}d→{0,1}f:\{0,1\}^d\rightarrow\{0,1\}f∈Cf∈Cf \in Cerr(f,D)=Pr(x,y)∼D[f(x)≠y]err(f,D)=Pr(x,y)∼D[f(x)≠y]err(f,D) = \Pr_{(x,y) \sim D}[f(x) \neq y]OPT(C,D)=minf∈C err(f,D)OPT(C,D)=minf∈C err(f,D)OPT(C,D) = \min_{f \in C}\ err(f,D) Скажіть, що алгоритм агностично дізнається над будь-яким розподілом, якщо для будь-якого він може з ймовірністю знайти функцію таку, що , заданий час і кількість зразків з , обмежених многочленом у та .AAACCCDDD2/32/32/3ffferr(f,D)≤OPT(C,D)+ϵerr(f,D)≤OPT(C,D)+ϵerr(f,D) \leq …

11 reference-request  machine-learning  lg.learning 

У той час як EE undergrad, я відвідував деякі лекції, в яких було представлено приємну характеристику булевих схем з точки зору кількості вкладених циклів. За складністю булеві схеми часто розглядаються як даги, але в реальних апаратних циклах поширені. Тепер, з точки зору деяких технічних можливостей щодо того, що таке цикл, …

11 cc.complexity-theory  reference-request  circuit-complexity  machine-models  ar.hardware-architecture 

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

11 ds.algorithms  reference-request  graph-theory  np-hardness  co.combinatorics 

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

11 reference-request  lo.logic  type-theory  lambda-calculus  polymorphism 

Мені особливо цікаво їх використання в програмах для перевірки моделей. У мене є відкриті, закриті та змішані мережі черг з різними класами клієнтів Baskett та ін. Будь-які інші пропозиції щодо читання матеріалу? Дякую.

11 reference-request  markov-chains  queueing-theory  model-checking 

Позначимо через мінімальний градусний ступінь G , а через δ - ( G ) мінімальний градусний.δ+(G)δ+(G)\delta^+(G)GGGδ−(G)δ−(G)\delta^-(G) У спорідненому запитанні я згадав про розширення теореми Дірака про гамільтонівські цикли про Гуїла-Гурі , що дозволяє припустити, що якщо тоді G - гамільтонів.δ+(G),δ−(G)≥n2δ+(G),δ−(G)≥n2\delta^+(G),\delta^-(G) \geq \frac{n}{2} У своєму коментарі Саїд прокоментував інше розширення, яке …

11 reference-request  graph-theory 

Відповідно до теорії топологічного графіка книги Гросса та Таккера, з урахуванням клітинного вбудовування графіка на поверхню (під «поверхнею» я маю на увазі тут сферу з деякими ручками, а нижче S n позначає сферу з точно n ручки), можна визначити подвійний мультиграф, обробляючи грані вбудованого оригінального графа як вершини і додаючи …

11 ds.algorithms  reference-request  graph-theory  cg.comp-geom  topological-graph-theory 

Чи проводилася якась робота з відновлення нахилу відрізка лінії після її оцифрування? Звичайно, це не можна зробити з ідеальною точністю; що хочеться - це метод отримання від оцифрованої лінії інтервалу можливих нахилів. (Поняття оцифрованої лінії, яку я використовую, - Розенфельд: сукупність пар де переходить на цілі числа (або блок послідовних …

11 reference-request  cg.comp-geom  cv.computer-vision  image-processing 

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

11 ds.algorithms  reference-request  approximation-algorithms  optimization 

Мені цікаво, чи може хтось дати мені інтуїцію, чому сувора позитивність індуктивних типів даних гарантує сильну нормалізацію. Щоб було зрозуміло, я бачу, як наявність негативних явищ призводить до розбіжності, тобто шляхом визначення: data X where Intro : (X->X) -> X ми можемо записати розбіжну функцію. Але мені цікаво, як можна …

10 reference-request  pl.programming-languages  type-theory  type-systems  dependent-type 

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

10 reference-request  pl.programming-languages  type-theory  dependent-type  typed-lambda-calculus 

Термін "інверсія програми" має декілька відтінків значення, але, ймовірно, розпочався з роботи Дж. Маккарті 1956 р . Інверсія функцій, визначених машинами Тьюрінга в контексті ШІ. На сьогоднішній день виявлено багато зв'язків між інверсією програми та іншими сферами, наприклад, оборотне програмування (фізичне та логічне), часткове оцінювання, перевірка, двонаправлене програмування, логічне програмування …

10 reference-request  lambda-calculus  typed-lambda-calculus  reversible-computing