Informatica teorica

1

Studi sistematici sulla somma dei polinomi quadratici al quadrato

Mi chiedo se esistano studi sistematici su somme di forme quadratiche al quadrato, simili alle forme quadratiche, che si riflettono praticamente nella decomposizione degli autovalori (che ha enormi implicazioni pratiche). Coppia di esempi relativi all'importanza della domanda. Analisi delle componenti principali (PCA) . Dato un insieme di punti xi∈Rn,i=1..kxi∈Rn,i=1..kx_i \in …

9 ds.algorithms polynomials semidefinite-programming

2

Il numero medio di pubblicazioni annuali per i postdoc di CS

Qual è il numero medio di pubblicazioni (compresi gli atti della conferenza), all'anno, per i ricercatori post-dottorato CS negli Stati Uniti? Quali sono i modi per scoprire o stimare questo numero?

9 soft-question advice-request research-practice career

1

Qual è il ruolo del calcolo bicolore delle costruzioni?

Quindi, sto leggendo un po 'di elaborazione, in particolare, algoritmi basati sul calcolo bicolore della costruzione, e sono un po' confuso. Non capisco quale sia esattamente lo scopo della . Sembra essere identico a C C, tranne per il fatto che esiste una distinzione tra argomenti impliciti ed espliciti per …

9 type-theory lambda-calculus type-inference dependent-type

3

Trovare tutti i cicli

Ho un insieme finito , una funzione , e un ordine totale su . Voglio trovare il numero di cicli distinti in .f : S → S < S SSSSf: S→ Sf:S→Sf:S\to S<<<SSSSSS Per un dato elemento posso usare l'algoritmo di Floyd (o Brent, ecc.) Per trovare la lunghezza del …

9 graph-theory graph-algorithms

2

Alcune centinaia di passi di riduzione sono troppi per ottenere la forma normale di Y fac ⌜3⌝?

Dato che ultimamente ho insegnato le basi del calcolo λ, ho implementato un semplice valutatore del calcolo λ in Common Lisp. Quando chiedo la forma Y fac 3normale di riduzione di ordine normale, ci vogliono 619 passaggi, il che sembrava un po 'troppo. Naturalmente, ogni volta che ho fatto riduzioni …

9 lo.logic lambda-calculus

2

Punto di partenza per algoritmi cache-ignari?

Sono interessante imparare di più sugli algoritmi e sulle strutture di dati ignari della cache, ma ci sono così tanti documenti là fuori che sinceramente non so da dove cominciare. Ho trovato la tesi originale di Prokup sull'argomento, che sembra un buon punto di partenza, ma se c'è un'introduzione semplice …

9 ds.algorithms reference-request cache-oblivious

2

Algoritmi efficienti per la ricerca di una raccolta di alberi

Ho un grande set di dati di alberi e vorrei cercarlo specificando un treelet ( subgraph collegato). La query dovrebbe restituire tutte le occorrenze del treelet nel set di dati. Ci sono algoritmi efficienti per farlo? Stavo pensando a qualcosa come array di suffissi, tuttavia, codificare ingenuamente gli alberi in …

9 graph-algorithms ds.data-structures tree graph-isomorphism string-search

2

Posso limitare la cardinalità di un set se il test per l'adesione è noto come NP-completo?

Vorrei avere un limite alla cardinalità dell'insieme dei grafici del disco dell'unità con vertici. È noto che verificare se un grafico è un membro di questo set è NP-difficile. Questo porta a qualche limite inferiore sulla cardinalità, assumendo P ≠ NP?NNN≠≠\neq Ad esempio, supponiamo che ci sia un ordinamento su …

9 cc.complexity-theory graph-theory

3

Quante parole di lunghezza

MODIFICATO PER AGGIUNGERE : a questa domanda ora si risponde essenzialmente; consulta questo post di blog per maggiori dettagli. Grazie a tutti coloro che hanno pubblicato commenti e risposte qui. DOMANDA ORIGINALE Questa è una versione speranzosamente più intelligente e meglio informata di una domanda che ho posto su MathOverflow. …

9 co.combinatorics

2

Metodo di forma normale Chomsky: implicazioni sulle prestazioni del parser CYK?

I parser di grafici possono essere implementati in base alla forma normale di Chomsky o direttamente in base alle regole di produzione. Supponiamo per il momento che abbiamo un parser grafico CYK che utilizza la forma normale di Chomsky. La binarizzazione non è definita in modo univoco. Questo influisce sulle …

9 fl.formal-languages parsing

1

Permanente di una matrice e da determinanti

Sia una matrice o con le voci . Qualcuno può fornirmi una matrice modo che ? Qual è la B esplicita più piccola conosciuta in modo tale che \ operatorname {per} (A) = \ det (B) ? Qualche riferimento su questo con esempi espliciti?AAA3×33×33 \times 34×44×44 \times 4aijaija_{ij}BBBper(A)=det(B)per⁡(A)=det(B)\operatorname{per}(A) = \det(B)BBBper(A)=det(B)per⁡(A)=det(B)\operatorname{per}(A) …

9 cc.complexity-theory algebraic-complexity permanent

1

Problema di localizzazione della struttura capacitiva euclidea

Nel Capacitated strumento Location Problem (CFLP) , ci viene data una serie di client e una serie di potenziali strutture F . Ogni cliente j ∈ C ha una domanda d j che deve essere servita da una o più strutture aperte. Ogni struttura i ∈ F ha un costo …

9 ds.algorithms cg.comp-geom approximation-algorithms

2

Percorsi più brevi che non consentono ogni bordo

Gradirei qualsiasi suggerimento o termine che potrebbe farmi iniziare nella giusta direzione. Abbiamo un grafico diretto e lunghezze per ogni fronte che può essere considerato positivo. C'è uno speciale nodo di partenza nodo finale e .G=(V,E)G=(V,E)G=(V,E)lijlijl_{ij}ijijijsssttt Per ciascun bordo , vorremmo calcolare la lunghezza del percorso più breve da a …

9 ds.algorithms reference-request graph-algorithms

1

Incorporare un grafico come una raccolta di tetraedri interni-disgiunti

Definisci una mesh in 3D come una raccolta connessa di tetraedri con interni disgiunti (quindi i tetraedri condividono solo k-facce, ). Dato un grafico arbitrario, esiste una procedura efficiente per verificare se può essere incorporato come mesh?k ≤ 2k≤2k \le 2 Qui, un incorporamento è una mappatura dei vertici del …

9 ds.algorithms graph-theory

2

L'ordine delle dichiarazioni in un tipo induttivo è importante?

Mi chiedevo se l'ordine delle dichiarazioni di tipo induttivo può importare. Ad esempio in Coq puoi definire Nat: Inductive Nat := | O : Nat | S : Nat -> Nat. o Inductive Nat := | S : Nat -> Nat | O : Nat. Questo forse cambierà l'ordine dei …

9 lo.logic type-theory coq dependent-type