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

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

10 reference-request  machine-learning  lg.learning  ai.artificial-intel  online-learning 

Дозволяє НA LТнHALTnHALT_n позначають рядок довжини 2н2n2^n що відповідає таблиці істинності задачі про зупинку для введення довжини нnn. Якщо послідовність Колмогорова складності К( НA LТн)K(HALTn)K(HALT_n) були O ( 1 )O(1)O(1), тоді один із рядків порад буде використовуватися нескінченно часто, і TM з цією строковою кодовою версією зможе вирішити HALTHALTHALT рівномірно …

10 cc.complexity-theory  reference-request  computability  lower-bounds 

Який сучасний результат полягає у складності запитів правильних формул 2-DNF для засвоєння ПКС із зразками запитів та при рівномірному розподілі ? Або будь-яке нетривіальне обмеження на ньому? Оскільки я зовсім не знайомий з теорією навчання, і це питання мотивоване іншим полем, відповідь може бути очевидною. Я перевірив книгу Кірнс і …

10 reference-request  lg.learning  boolean-functions 

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

9 reference-request  graph-theory 

У [1], Гарей та ін. визначте, що пізніше отримало б назву «Сума квадратних коренів» під час опрацювання NP-повноти Євклідової ЦСП. Враховуючи цілі числа та , визначте,а1,а2, … ,анa1,a2,…,ana_1, a_2, \ldots, a_nLLLа1--√+а2--√+ ⋯ +ан--√&lt; La1+a2+⋯+an&lt;L\sqrt{a_1} + \sqrt{a_2} + \cdots + \sqrt{a_n} < L Вони відзначають , що це навіть не очевидно …

9 reference-request  cg.comp-geom  na.numerical-analysis 

В Інтуїціоністській теорії типів: предикативна частина Мартіна-Льофа доведено, що перевірка типуa:Aa:Aa \colon Aпідлягає вирішеннюaaaвводиться в першу чергу шляхом доведення теореми про нормалізацію для закритих набраних термінів. З іншого боку, я бачив, як написано в багатьох місцях (Wikipedia, Nördstrom тощо), що перевірка типу в (інтенсивній) MLTT вирішувана; вони неявно обмежують терміни …

9 reference-request  type-theory  type-inference 

Які найвідоміші асимптотичні верхні межі щодо розмірів вірогідних доказів? В ідеалі я шукаю сучасне опитування з цього широкого питання, але якщо такого немає, мене особливо цікавить непереборність 3-SAT. Нехай 7/8 + ε-3-SAT буде 3-SAT з обіцянкою, що якщо 7/8 + ε частка пропозицій є задоволеною, то екземпляр є задоволеним. Які …

9 cc.complexity-theory  reference-request  np-hardness  pcp 

Чи є рамка / формалізм, яка визначає обчислювальні моделі на основі білків, відмінних від ДНК-моделі Адлемана, або цієї роботи Черрі та Ціану ?

9 reference-request  machine-models 

Для фіксованої мови LLL на деякому алфавіті AAA, розглянемо наступну проблему, яку я закликаю LLL-INTERLEAVING : Введення: два слова u,v∈A∗u,v∈A∗u, v \in A^* Висновок: чи існує там перемежения зuuu і vvv що в LLL. Тут переплетення двох слівuuu і vvv це слово www що можна отримати інтуїтивно, взявши листи uuu …

9 cc.complexity-theory  reference-request  regular-language 

Нехай бути мовою, а також визначити по тоді і тільки тоді . Я шукаю посилання на:L⊆A∗L⊆A∗L \subseteq A^*fL:A∗×A∗→{0,1}fL:A∗×A∗→{0,1}f_L\colon A^* \times A^* \to \{0, 1\}fL(x,y)=1fL(x,y)=1f_L(x, y) = 1x⋅y∈Lx⋅y∈Lx\cdot y \in L Пропозиція. регулярний, якщо детермінована комунікаційна складність є постійною.LLLfLfLf_L Іншими словами, є регулярним, якщо існує протокол для двох гравців для таким …

9 reference-request  communication-complexity  regular-language 

Двосторінковий документ SODA Kalai дає простий та ефективний алгоритм для узгодження шаблону з небайдужими (макіяжними символами, які відповідають одному символу). По суті, це так просто, як згортання. Але що станеться, якщо ми шукаємо декілька шаблонів, не цікавлячись? Чи можемо ми все-таки якось вирішити це, наприклад, на основі методів FFT?

9 ds.algorithms  reference-request  string-matching 

При фіксованому орієнтований граф (орграф) , то Проблема Рішення -розмальовка запитує , може вхідний Орграф має гомоморфізм до . (Гомоморфізм від до - це відображення від до яке зберігає дуги, тобто якщо - дуга , то - дуга )DDDDDDГGGDDDГGGDDDfffV( G )V(G)V(G)V( D )V(D)V(D)u vuvuvГGGf( u ) f( v )f(u)f(v)f(u)f(v)DDD Клас …

9 reference-request  graph-theory  np-hardness  csp  homomorphism 

Нехай і - два прямокутні сполучені графіки розміром . Нехай безліч перестановок такі , що . Якщо , то є безліч автоморфізмів .GGGHHHrrrnnnAAAPPPPGP−1=HPGP−1=HPGP^{-1}=HG=HG=HG=HAAAGGG Яка найвідоміша верхня межа за розміром ? Чи є результати для окремих класів графіків (не містять повних / циклівних графіків)?AАA Примітка: Побудувати групу автоморфізму як мінімум так …

9 reference-request  graph-theory  co.combinatorics  graph-isomorphism  gr.group-theory 

Нехай - графік, який є непересічним об'єднанням кліки та незалежної множини, тобто ГГGG =Кн1+Кн2¯¯¯¯¯¯¯¯=Кн1+Ян2.Г=Кн1+Кн2¯=Кн1+Ян2.G = K_{n_1} + \overline{K_{n_2}} = K_{n_1} + I_{n_2} . Клас графів для всіх таких графіків характеризується забороненим набором індукованих підграфів і, таким чином, є перетином кластерного графіка та розділеного (або порогового) графа.H ={ 2К2,П3}Н={2К2,П3}\mathcal{H} = \{2K_2, …

9 reference-request  graph-theory  graph-classes 

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

9 reference-request  graph-theory  graph-minor