Informatica teorica reference-request

2

Problemi di ottimizzazione di MSOL su grafici di larghezza di banda limitata, con predicati di cardinalità

CMSOL sta contando la logica monadica del secondo ordine, cioè una logica di grafici in cui il dominio è l'insieme di vertici e spigoli, ci sono predicati per l'adiacenza vertice-vertice e l'incidenza di vertice-vertice, c'è quantificazione su spigoli, vertici, insiemi di bordi e vertici imposta e esiste un predicato che …

12 ds.algorithms reference-request graph-algorithms descriptive-complexity cliquewidth

2

Qual è l'ampiezza del percorso della griglia 3D (mesh o reticolo) con sidelength k?

Ho fatto questa domanda alcune settimane fa su mathoverflow , ma non ho ricevuto risposta. Qui, per griglia 3D di sidelength intendo il grafico G = ( V , E ) con V = { 1 , … , k } 3 ed E = { ( ( a , …

12 reference-request graph-theory co.combinatorics treewidth integer-lattice

2

Soluzioni massime minime di LP

La programmazione lineare è, ovviamente, al giorno d'oggi molto ben compresa. Abbiamo molto lavoro che caratterizza la struttura delle soluzioni fattibili e la struttura delle soluzioni ottimali. Abbiamo la forte dualità, algoritmi poli-tempo, ecc. Ma cosa si sa sulle soluzioni minime massime di LP? O, equivalentemente, soluzioni minime massime? (Questa …

12 cc.complexity-theory ds.algorithms reference-request linear-programming optimization

3

Un problema multi-taglio

Sto cercando un nome o qualsiasi riferimento a questo problema. Dato un grafico ponderato G = ( V, E, w )G=(V,E,w)G = (V, E, w) trova una partizione dei vertici fino a n = | V|n=|V|n = |V|imposta S1, ... , SnS1,…,SnS_1,\ldots,S_n modo da massimizzare il valore dei bordi tagliati: …

12 ds.algorithms reference-request approximation-algorithms max-cut

10

Risorse per conoscere il problema P vs. NP

Di recente mi è stato ricordato il problema vs. N P , come spiegato da Stephen A. Cook sul Clay Mathematics Institute.PP\mathsf{P}N PNP\mathsf{NP} Ha suscitato il mio interesse e vorrei saperne di più. Il primo passo sarebbe ottenere una comprensione più profonda del problema e una comprensione dell'area in generale. …

12 cc.complexity-theory reference-request survey books p-vs-np

3

Quali sono i problemi con il miglior rapporto di approssimazione raggiunto dall'algoritmo che restituisce una soluzione uniformemente casuale?

Quali sono i problemi con il rapporto di approssimazione più noto raggiunto da un algoritmo che restituisce una soluzione uniformemente casuale? Conosco uno di questi esempi per il problema del negozio di flusso di permutazione : nel documento " Limiti rigorosi per la pianificazione dei negozi di flusso di permutazione …

12 ds.algorithms reference-request approximation-algorithms

7

Argomenti interdisciplinari tra teoria del controllo e informatica teorica

Sono al mio secondo anno in un Master che non si relaziona troppo con TCS, anche se vorrei che lo facesse. Fondamentalmente si tratta di teoria del controllo, segnali e sistemi e ho preso lezioni in sistemi avanzati (robusto, non lineare, ottimale, stocastico), elaborazione avanzata del segnale e ottimizzazione convessa. …

12 reference-request soft-question

3

Lingue

Quali altri problemi linguaggi diversi dall'isomorfismo grafico sono in ? Puoi darci dei riferimenti?NP∩coAMNP∩coAMNP\cap coAM Aggiornamento: Ho dimenticato di dire che mi interessa in lingue non conosciute per essere in .coNPcoNPcoNP

12 cc.complexity-theory reference-request complexity-classes graph-isomorphism

2

Larghezza minima dell'albero del circuito per MAGGIORANZA

Qual è la larghezza minima dell'albero di un circuito su per il calcolo di MAJ?{∧,∨,¬}{∧,∨,¬}\{\wedge,\vee,\neg\} Qui MAJ genera 1 se almeno la metà dei suoi input sono .:{0,1}n→{0,1}:{0,1}n→{0,1}:\{0,1\}^n \rightarrow \{0,1\}111 Mi interessa solo la dimensione del circuito (dovrebbe essere polinomiale) e che un ingresso dovrebbe essere letto solo una volta …

12 reference-request complexity-classes circuit-complexity treewidth

2

Sostituzione ereditaria con una gerarchia dell'universo

Ho letto della sostituzione ereditaria del Simple Lambda Calculus e del Logical Framework con termini e tipi distinti. Mi chiedo, ci sono esempi di sostituzione ereditaria in un sistema tipicamente dipendente con una gerarchia dell'universo? ovvero dove ecc.True:Set0:Set1:Set2True:Set0:Set1:Set2 True : Set_0 : Set_1:Set_2 Mi chiedo in particolare come stabilire una …

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

1

Complessità parametrizzata dell'inclusione delle lingue regolari

Sono interessato al classico problema INCLUSIONE LINGUA REGOLARE. Data un'espressione regolare , indichiamo con L ( E ) il linguaggio regolare ad esso associato. (Le espressioni regolari sono su un alfabeto fisso Σ , con l'unione delle operazioni, stella di Kleene e concatenazione.)EEEL ( E)L(E)L(E)ΣΣ\Sigma Input: due espressioni regolari ed …

11 cc.complexity-theory reference-request regular-language parameterized-complexity regular-expressions

2

Stato dell'arte per la classe monadica?

La logica monadica del primo ordine, nota anche come la classe monadica del problema decisionale, è dove tutti i predicati accettano un argomento. Ackermann ha dimostrato di essere decidibile ed è completo NEXPTIME . Tuttavia, problemi come SAT e SMT hanno algoritmi veloci per risolverli, nonostante i limiti teorici. Mi …

11 reference-request lo.logic automated-theorem-proving program-verification first-order-logic

1

Vettore binario

Ho un set di vettori binari e un vettore target che è il vettore di tutti.nnnS={s1,…,sn}⊆{0,1}k∖{1k}S={s1,…,sn}⊆{0,1}k∖{1k}S = \{s_1, \ldots, s_n \} \subseteq \{0,1\}^k \setminus \{1^k\}t=1kt=1kt = 1^k Congettura: se ttt può essere scritta come una combinazione lineare di elementi di SSS su Z/qZZ/qZ\mathbb{Z}/q\mathbb{Z} per tutte le potenze primi qqq , …

11 reference-request linear-algebra finite-fields

1

Qual è il nome di una funzione

Let sia un linguaggio e una funzione su due parametri con la proprietà che per tutti ed , restituisce un elemento di se e solo se sia che sono elementi di :f : Σ ⋆ × Σ ⋆ → Σ ⋆ x y f L x y LLLLf: Σ⋆× Σ⋆→ …

11 reference-request fl.formal-languages

1

Generalizzazione del teorema di Dilworth per i DAG etichettati

Un un'anticatena in un DAG è un sottoinsieme di vertici che sono coppie irraggiungibile, cioè, non vi tale che è raggiungibile da in . Dal teorema di Dilworth nella teoria dell'ordine parziale, è noto che se il DAG non ha antichain di dimensione , allora può essere decomposto in un'unione …

11 reference-request graph-theory directed-acyclic-graph partial-order

Domande taggate «reference-request»