Informatica teorica

2

Elenco di problemi NP-difficili, dove esiste una ricerca attiva in euristica pratica

Sto cercando un elenco di problemi di ottimizzazione NP-hard, in cui esiste una ricerca attiva in euristica pratica per risolverli e ci sono benchmark comuni, che le persone cercano di battere. Gli esempi includono: Ricostruzione dell'albero filogenetico (euristica ad esempio qui ) Venditore ambulante (non così attivo, ma LKH è …

9 heuristics

1

Esistono modelli computazionali basati sulle proteine?

Esiste un framework / formalismo che definisce modelli computazionali basati su proteine diverse dal modello di DNA di Adleman o da questo lavoro di Cherry e Qian ?

9 reference-request machine-models

2

Panoramica di alto livello del metodo di approssimazioni di Razborov

Qual è il metodo di approssimazioni di Razborov? Qualcuno può fornire una panoramica di alto livello e l'intuizione alla base?

9 cc.complexity-theory circuit-complexity

2

Qualsiasi numero trascendentale calcolabile calcolabile in P time ma non

C'è un noto numero trascendente calcolabile tale che il suo ° cifra è calcolabile in tempo polinomiale, ma non in O ( n ) ?nnnO ( n )O(n)O(n)

9 cc.complexity-theory comp-number-theory

2

C'è un problema informatico che si trova in un tempo quasi polinomiale ma non è (forse) in

Il tempo quasi polinomiale, o QP in breve, è una classe di complessità sulla macchina di Turing deterministica. Ecco la definizione precisa: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:Q#qp Mentre βP è una classe di complessità di non determinismo limitato. Ecco la definizione precisa: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:B#betap È facile vedere che qualsiasi macchina di βP può essere simulata …

9 cc.complexity-theory complexity-classes

1

Iscrizione monoidale di transizione per DFA

Dato un DFA completo , possiamo definire una raccolta di funzioni per ciascuna e con , . Possiamo generalizzare questa nozione a una parola e dove indica la composizione della funzione. Inoltre denotiamo e è monoide.A=(Q,Γ,δ,F)A=(Q,Γ,δ,F)A=(Q, \Gamma, \delta, F)fafaf_aa∈Γa∈Γa\in \Gammafa:Q→Qfa:Q→Qf_a:Q\rightarrow Qfa(q)=δ(q,a)fa(q)=δ(q,a)f_a(q)=\delta(q, a)w=a1,⋯,amw=a1,⋯,amw=a_1, \cdots, a_mfw=fa1∘⋯∘famfw=fa1∘⋯∘famf_w=f_{a_1}\circ \cdots \circ f_{a_m}∘∘\circG={fw∣w∈Γ∗}G={fw∣w∈Γ∗}G=\{f_w\mid w\in \Gamma^*\}GGG [ …

9 automata-theory regular-language monoid

1

Derandomizzazione uniforme delle classi di complessità del circuito

Lasciate sia una classe di complessità e BP- C sia la controparte randomizzato di C definita nello stesso modo come BPP è definito rispetto a P . Più formalmente forniamo polinomialmente molti bit casuali e accettiamo un input se la probabilità di accettare è superiore a 2CC\mathcal{C}BP-CBP-C\textrm{BP-}\mathcal{C}CC\mathcal{C}BPPBPP\textrm{BPP}PP\textrm{P} .2323\frac{2}{3} In un …

9 circuit-complexity randomized-algorithms derandomization

1

Complessità nel verificare se due parole hanno un interfogliamento in una lingua

Per una lingua fissa sull'alfabeto A , consideriamo il seguente problema, che io chiamo L -INTERLEAVING :LLLUNAALLL Input: due parole u , v ∈ A*u,v∈A∗u, v \in A^* Resa: se esiste un interleaving di e v che è in L .uuuvvvLLL Qui, un interleaving di due parole e v è …

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

1

Automi che riconoscono per un codice finito

Sia un alfabeto finito. Un codice sopra è un sottoinsieme di tale che ogni parola può essere rappresentato in modo univoco come concatenazione di parole . Un codice è finito seè finito. Cosa si sa degli automi (minimi) che riconoscono per un codice finito ? Esiste una caratterizzazione di tali …

9 automata-theory

1

Lemma di normalizzazione di Noether per campi finiti

La mia domanda riguarda i teoremi 4.1 e 4.2 in "Teoria della complessità geometrica V" . Il primo teorema afferma che esiste un algoritmo EXPSPACE per la costruzione di hsop per (vedi definizioni nel documento) su C (in effetti su un campo arbitrariamente chiuso algebricamente di zero caratteristico).Δ[det,m]Δ[det,m]\Delta[\text{det},m]CC\mathbb{C} Il secondo …

9 gct

3

Classe di lingue riconoscibile dalle TM a 3 stati a nastro singolo

Sono stato per un po 'curioso di Turing Machines con esattamente un nastro ed esattamente 3 stati (ovvero lo stato iniziale , lo stato accettazione q a c c e p t e lo stato di rifiuto q r e j e c t ). Si noti che consento alfabeti …

9 automata-theory turing-machines cellular-automata

2

Complessità di calcolo Lexicographically Minimal Element of Orbit

Dato generatori forti per un gruppo agendo su stringhe di bit di lunghezza n e un elemento s ∈ { 0 , 1 } n , quanto è difficile calcolare l'elemento lexicographically minimo di G . s , l'orbita di s in G ?( G ≤ Sn, ∗ )(sol≤Sn,*)(G \leq …

9 permutations gr.group-theory complexity

2

Numero di DFA minimi di dimensione al massimo

Sia un alfabeto di dimensione 2 e considera i DFA minimi la cui dimensione è limitata al massimo da m . Lascia che f ( m ) indichi il numero di diversi DFA minimi simili.ΣΣ\Sigma222mmmf( m )f(m)f(m) Possiamo trovare una formula in forma chiusa per ?f( m )f(m)f(m) Considerando che …

9 cc.complexity-theory automata-theory nondeterminism dfa

1

Memcomputing risolve davvero un problema NP-completo?

Mi sono imbattuto in un articolo pubblicato su Science "Memcomputing di problemi NP-completi in tempi polinomiali usando risorse polinomiali e stati collettivi" , il che fa alcune affermazioni piuttosto sorprendenti. Il memcomputing è un nuovo paradigma di calcolo non-Turing che utilizza celle di memoria interagenti (in breve memprocessor) per archiviare …

9 np-complete open-problem

1

Problemi 2-NEXPTIME-complete

Abbiamo un problema e abbiamo trovato un algoritmo che sembra essere 2-nexptime. Vorrei trovare noti problemi 2-nexptime completi al fine di trovare un limite inferiore. Ho trovato in letteratura principalmente due di questi problemi: se PCP come soluzione di dimensioni inferiori a 22n22n2^{2^n} e il problema della lavorazione del terreno …

9 complexity-classes time-complexity complexity