Scienza del computer

La funzione di conteggio primo , degradata , è definita come il numero di numeri primi minori o uguali aπ(x)π(x)\pi(x)xxx . Possiamo definire un problema di decisione da come segue:π(x)π(x)\pi(x) Dati due numeri e n , scritti in binario, decidere se π ( x ) = n .xxxnnnπ(x)=nπ(x)=n\pi(x) = n …

13 complexity-theory  primes 

Mi chiedo se decidere la decidibilità del problema sia un problema decidibile. Immagino di no, ma dopo le ricerche iniziali non riesco a trovare alcuna letteratura su questo problema.

13 computability  undecidability  decision-problem 

Nel 1962, potresti vincere un premio di $ 10.000 (circa $ 80.000 in denaro di oggi) se trovassi la soluzione a un problema di commesso viaggiatore euclideo definito in 33 città. http://www.math.uwaterloo.ca/tsp/history/pictorial/car54.html Guardando la foto, il problema sembra piuttosto semplice. Tuttavia, non sono riuscito a trovare risorse più dettagliate sul …

13 optimization  traveling-salesman 

Sto leggendo un libro su un argomento di informatica ma manca un po 'del presupposto. Normalmente, quando incontro termini che non capisco, li cerco semplicemente, ma per Universal Search non sono stato in grado di trovare una spiegazione adatta a un lettore senza un background in statistica / informatica. Ho …

13 algorithms  terminology  search-algorithms 

Sto cercando di capire l'esistenza di lingue non riconoscibili. Per ottenere questo, ho bisogno di sapere perché una macchina Turing riconosce solo una lingua, non più. Perchè è questo?

13 turing-machines  computation-models 

sfondo \newcommand\ms[1]{\mathsf #1}\def\msD{\ms D}\def\msS{\ms S}\def\mfS{\mathfrak S}\newcommand\mfm[1]{#1}\def\po{\color{#f63}{\mfm{1}}}\def\pc{\color{#6c0}{\mfm{c}}}\def\pt{\color{#08d}{\mfm{2}}}\def\pth{\color{#6c0}{\mfm{3}}}\def\pf{4}\def\pv{\color{#999}5}\def\gr{\color{#ccc}}\let\ss\gr Supponiamo che io abbia due lotti identici di biglie. Ogni marmo può essere di uno dei colori , dove c≤n . Lascia che n_i indichi il numero di biglie di colore i in ciascun lotto.nnncccc≤nc≤nc≤nninin_iiii Sia SS\msS il multiset {1,…,1n1,2,…,2n2,…,1c,…,cnc}{1,…,1⏞n1,2,…,2⏞n2,…,1c,…,c⏞nc}\small\{\overbrace{\po,…,\po}^{n_1},\;\overbrace{\pt,…,\pt}^{n_2},\;…,\;\overbrace{\vphantom 1\pc,…,\pc}^{n_c}\} rappresenta un batch. …

13 algorithms  combinatorics  probability-theory  permutations  sampling 

La pagina del problema dell'isomorfismo del grafico di Wikipedia sembra indicare che, no, non è stata risolta. Tuttavia, un mio amico ha sottolineato A Polynomial Time Algorithm for Graph Isomorphism . Non sono abbastanza sofisticato da seguire il ragionamento nel documento. Ho il mio tentativo molto approssimativo di un algoritmo …

13 complexity-theory  reference-request  time-complexity  graph-isomorphism 

Sono ancora un po 'confuso con i termini "lunghezza dell'input" e "dimensione dell'input" quando usato per analizzare e descrivere il limite superiore asintomatico per un algoritmo Sembra che la lunghezza di input per l'algoritmo dipenda molto dal tipo di dati e dall'algoritmo di cui stai parlando. Alcuni autori fanno riferimento …

13 complexity-theory  terminology  algorithm-analysis  time-complexity  runtime-analysis 

Stavo scherzando l'altro giorno su questo sito Web: http://regexcrossword.com/ e mi ha fatto chiedere quale fosse il modo migliore per risolverlo. Riesci a risolvere il seguente problema in tempo polinomiale o è NP-difficile? Data una griglia NxM con N espressioni regolari per le colonne e M per le righe, trova …

13 complexity-theory  np-hard  regular-expressions 

Alcuni hypervisor ottimizzano l'utilizzo della memoria utilizzando un metodo chiamato ballooning (almeno così lo chiama KVM), questo metodo deduplica la memoria tra macchine virtuali e imposta le pagine comuni in sola lettura con copia in scrittura. Questo è il contrario di una chiamata fork. È possibile implementare a livello di …

13 operating-systems  memory-management  virtual-memory 

Quando si verifica un interrupt, il processore anticipa il processo corrente e chiama il codice del kernel per gestire l'interrupt. Come fa il processore a sapere dove inserire il kernel? Comprendo che ci sono gestori di interrupt che possono essere installati per ogni linea di interrupt. Ma poiché il processore …

13 computer-architecture  operating-systems  os-kernel 

La pagina di Wikipedia sugli algoritmi di moltiplicazione menziona un interessante di Donald Knuth . Fondamentalmente, comporta la combinazione della moltiplicazione della trasformata di Fourier con una tabella precompilata di moltiplicazioni di dimensioni logaritmiche. Funziona in tempo lineare. L'articolo si comporta come questo algoritmo in qualche modo non conta come …

13 algorithms  runtime-analysis  multiplication 

A proposito del suggerimento di Raffaello sull'intersezione di due NPDA : Sia A1A1A_1 e NPDA per le lingue senza contesto e , rispettivamente. Supponendo che sappiamo che è privo di contesto, possiamo (efficacemente) costruire NPDA per ?A2A2A_2L1L1L_1L2L2L_2L=L1∩L2L=L1∩L2L = L_1 \cap L_2AAALLL Qualsiasi tipo di algoritmo sarebbe accettabile, ma più pratico …

13 computability  automata  pushdown-automata 

Ho scoperto che se non capisco l'etimologia dietro un termine cs / programmazione, di solito significa che ho perso o frainteso alcuni importanti concetti di base. Non capisco perché la stella di Kleene sia anche chiamata la chiusura di Kleene. È legato alle chiusure in programmazione, una funzione con variabili …

13 automata  regular-expressions 

Ho letto su Wikipedia e altri testi che Il problema dell'arresto è [...] decidibile per gli automi deterministici lineari (LBA) [e] con memoria finita. Ma prima è stato scritto che il problema dell'arresto è un problema indecidibile e quindi TM non può risolverlo! Poiché gli LBA sono definiti come un …

13 turing-machines  automata  undecidability  halting-problem  linear-bounded-automata