Informatica teorica reference-request

1

Ho letto l'articolo di Alydbraically Complete Categories di Freyd nel famoso Como90 e ho due domande sulla nozione di compattezza algebrica che ha definito in quell'articolo. (Se non si ha familiarità con la definizione, eccola qui: una categoria è chiamata algebricamente compatta se ogni endofunctor ha un'algebra iniziale e una …

12 reference-request type-theory ct.category-theory

3

Selezionare in unione di matrici ordinate: già noto?

Sto cercando riferimenti bibliografici per il seguente algoritmo / problema: l'ho chiamato "BiSelect" o "t-ary Select" o "Select in Union of Sorted Arrays", ma immagino che sia stato introdotto prima con un altro nome? Problema Considera il seguente problema: Dato disgiunti ordinato array , di rispettive dimensioni , e un …

12 reference-request

1

Classe di complessità di questo problema?

Sto cercando di capire a quale classe di complessità appartiene il seguente problema: Problema di radice polinomiale esponenziale (EPRP) Sia un polinomio con deg ( p ) ≥ 0 con coefficienti disegnati da un campo finito G F ( q ) con q un numero primo e r una radice …

12 cc.complexity-theory reference-request comp-number-theory np-intermediate

2

La gerarchia di

TC0TC0\mathsf{TC^0}TC0d⊊TC0d+1TCd0⊊TCd+10\mathsf{TC^0_d} \subsetneq \mathsf{TC^0_{d+1}}ddd La voce Zoo per TC0TC0\mathsf{TC^0} menziona solo la separazione tra profondità 2 e 3. C'è anche un riferimento standard per il fatto che la AC0dACd0\mathsf{AC^0_d} non collassa?

12 cc.complexity-theory reference-request complexity-classes circuit-complexity bounded-depth

1

Esiste un libro / documento di indagine che delinea gerarchie di classi linguistiche, proprietà di chiusura, ecc

Attualmente sto facendo alcune ricerche linguistiche formali che coinvolgono classi di lingue sopra il normale ma sotto il contesto gratuito. Sto guardando cose come macchine multicounter a inversione inversa, macchine contatore a pila singola, CFL deterministici, ecc. Mi chiedo se qualcuno sappia di un buon libro o di un documento …

12 reference-request co.combinatorics fl.formal-languages automata-theory research-practice

1

Stabilità numerica del metodo Simplex

L'algoritmo simplex viene spesso trattato all'interno dell'aritmetica reale o nel mondo discreto con calcoli esatti. Tuttavia, sembra essere implementato più spesso con l'aritmetica in virgola mobile. Ciò porta alla domanda se l'algoritmo simplex debba essere considerato un algoritmo numerico, in particolare in che modo gli errori di arrotondamento influenzano il …

12 ds.algorithms reference-request optimization linear-programming na.numerical-analysis

1

Una domanda sulle estensioni lineari di ordini parziali

Se ti viene data una raccolta di ordini parziali, l'ordinamento topologico ti dirà se esiste un'estensione della raccolta a un ordine totale (un'estensione in questo caso è un ordine totale coerente con ciascuno degli ordini parziali). Ho riscontrato una variazione: Fissare un set . Ti vengono date sequenze σ 1 …

12 ds.algorithms reference-request order-theory

2

Gli automi multipebble possono decidere tutti i linguaggi deterministici sensibili al contesto?

Un MPA (automa multipebble) è un 2DFA (automa finito deterministico a due vie) che può usare un numero arbitrario di ciottoli (in realtà al massimo ciottoli su un dato input - l'input è scritto sul nastro tra due estremità -marker come ). Durante il calcolo, un MPA può rilevare se …

12 cc.complexity-theory reference-request automata-theory space-bounded

3

Ordinamento delle sequenze "k-tonic"

Spero che qualcuno conosca un riferimento a questo, quindi non devo leggere la letteratura ... Considera una sequenza di numeri . Pensa alla sequenza come intervalli n - 1 [ x 1 , x 2 ] , [ x 2 , x 3 ] , … , [ x n …

12 ds.algorithms reference-request sorting

1

Esclusivi modelli SAT vs Exactly

Unico SAT è il problema ben noto: data una formula CNF , è vero che ha esattamente un modello?FFFFFFF Sono interessato al problema «Esattamente -SAT»: data una formula CNF e un intero , è vero che ha esattamente modelli?F m > 1 F mmmmFFFm>1m>1m>1FFFmmm Entrambi i problemi sembrano simili. Quindi …

12 cc.complexity-theory reference-request np-hardness sat reductions

1

Le citazioni che mostrano i minori sono minori topologici per i grafici subcubici

Se è un grafico con il massimo grado 3 ed è minore di H , allora G è minorenne topologica di H .solGGHHHsolGGHHH Wikipedia cita questo risultato dalla "teoria dei grafi" di Diestel. È elencato come Prop 1.7.4 nell'ultima versione del libro. Il libro manca di prove o citazioni. Si …

12 reference-request graph-theory co.combinatorics graph-minor

2

Complessità di Kolmogorov con linguaggi di descrizione deboli

Possiamo pensare alla complessità di Kolmogorov di una stringa xxx come la lunghezza del programma più breve PPP e inserire yyy tale che x=P(y)x=P(y)x = P(y) . Di solito questi programmi sono tratti da un set completo di Turing (come PPP potrebbe essere la descrizione di una macchina di Turing, …

12 reference-request computability kolmogorov-complexity

2

Esiste un sondaggio sulla semantica delle varie funzioni del linguaggio di programmazione?

Esiste un sondaggio (dall'articolo, capitolo del libro, tutorial, collegamenti, ...) della semantica delle varie funzionalità del linguaggio di programmazione? Inizialmente sono stato sopraffatto dalle funzionalità di D qui http://www.digitalmars.com/d/2.0/comparison.html Mi piacerebbe vedere cosa potrei ottenere da qui, anche se ho fatto una domanda simile su StackOverflow e capire che questi …

12 reference-request pl.programming-languages survey

2

Riferimento per algoritmo veloce per percorsi più brevi colli di bottiglia

Sto cercando un buon riferimento per i percorsi più brevi colli di bottiglia. In particolare, dati i vertici s et in un grafico non orientato con pesi di bordo, si desidera il percorso più breve da s a t, dove la lunghezza di un percorso è il bordo massimo di …

12 ds.algorithms reference-request graph-algorithms

2

Stima della dimensione VC

Cosa si sa del seguente problema? Data una raccolta di funzioni f : { 0 , 1 } n → { 0 , 1 } , trova una sottocollection più grande S ⊆ C soggetta al vincolo che VC-Dimensione ( S ) ≤ k per un numero intero k .CCCf: …

12 reference-request approximation-algorithms cg.comp-geom lg.learning vc-dimension

Domande taggate «reference-request»