Ciência da Computação

Eu continuo encontrando referências ao ponto fixo em perguntas e respostas no stackexchange e procuro o significado na Web, obviamente, encontrando referências em sites como o Wikipedia. No entanto, nenhuma das referências realmente responde à minha pergunta sobre o que é um ponto fixo e o que isso significa no …

19 terminology 

Nós temos a lógica Hoare. Por que ainda é possível que um algoritmo esteja correto, mas não há provas de que esteja correto? Suponha que o algoritmo seja expresso em C. Em seguida, podemos argumentar passo a passo que ele está fazendo o que deveria fazer. Então, minha pergunta é: …

18 correctness-proof  hoare-logic 

No artigo "Um tipo de dados JSON replicado sem conflito" , encontrei essa notação para definir formalmente "regras": Como é chamada essa notação? Como eu o leio? Por exemplo: a DOCregra não tem nada no seu "numerador" - por que não? as regras EXECe GETparecem ter dois termos separados acima …

18 semantics  notation  formal-methods  operational-semantics 

Deseja melhorar este post? Forneça respostas detalhadas para esta pergunta, incluindo citações e uma explicação de por que sua resposta está correta. Respostas sem detalhes suficientes podem ser editadas ou excluídas. Temos lido sobre algoritmos para MST, conectividade forte, roteamento etc. em gráficos direcionados. Também recentemente, as pessoas vêm pesquisando …

18 graphs  graph-theory  fault-tolerance 

Graças ao teorema min-cut de fluxo máximo, sabemos que podemos usar qualquer algoritmo para calcular um fluxo máximo em um gráfico de rede para calcular um -min-cut. Portanto, a complexidade de calcular um corte mínimo ( s , t ) não é mais do que a complexidade de calcular um …

18 complexity-theory  reductions  network-flow  graph-algorithms 

O problema da parada não pode ser resolvido no caso geral. É possível criar regras definidas que restringem as entradas permitidas e o problema de parada pode ser resolvido para esse caso especial? Por exemplo, parece provável que uma linguagem que não permita loops, por exemplo, seria muito fácil de …

18 computability  undecidability  software-engineering  formal-methods 

Uma máquina de Turing sem a capacidade de escrever em células em branco é menos poderosa que a Turing padrão? Acho que a resposta é sim, mas não consigo encontrar um cálculo que a máquina padrão de Turing possa fazer, mas esta máquina não pode. Alguma ideia?

18 formal-languages  turing-machines  computability  automata 

Existe uma função computável f:N→Qf:N→Qf:\mathbb{N}\rightarrow \mathbb{Q} tal que: Para todos t∈N:0≤f(t)&lt;Xt∈N:0≤f(t)&lt;Xt\in\mathbb{N}: 0\le f(t) < X limt→∞f(t)=Xlimt→∞f(t)=X\lim\limits_{t\rightarrow\infty} f(t) = X Onde é um número real incontestável.XXX A única referência a esta pergunta que encontrei foi a resposta a esta pergunta : /math//a/1052579/168764 , onde a função parece que ela se manteria, …

18 computability 

Após o lançamento da biblioteca da AIGER para manipular gráficos de inversores em 2006 (eu acho), alguns solucionadores de circuito SAT foram lançados em 2006-2008, e em algumas corridas / competições SAT havia faixas da AIG. No entanto, desde então, parece que o foco foi inteiramente no SMT ou na …

18 satisfiability  circuits  sat-solvers 

Configuração: expressões regulares com referências anteriores idioma unário (alfabeto de 1 símbolo) O seguinte problema é decidível nessa configuração: Dada uma expressão regular com referências anteriores, ela define um idioma regular? Por exemplo, (aa+)\1define um idioma regular, enquanto (aa+)\1+não. Podemos decidir qual é o caso? Para concretude, "expressões regulares com …

18 formal-languages  computability  regular-languages  undecidability  regular-expressions 

Uma gramática livre de contexto pode incluir "estados mortos" de um autômato, como G=({a,b,c},{A,B,C},{A→aB,B→b,B→C,C→cC},A)?G=({a,b,c},{A,B,C},{A→aB,B→b,B→C,C→cC},A)?G = \big(\{a, b, c\}, \{A, B, C\}, \{A\to aB, B\to b, B\to C, C\to cC\}, A\big)\,? As regras de produção e se sempre e nunca geram uma palavra. Isso é permitido ou DEVE as regras de …

18 context-free  automata  formal-grammars 

Se existe um algoritmo rodando no tempo O(f(n))O(f(n))O(f(n)) para algum problema A, e alguém cria um algoritmo rodando no tempo, O(f(n)/g(n))O(f(n)/g(n))O(f(n)/g(n)) , onde g(n)=o(f(n))g(n)=o(f(n))g(n) = o(f(n)) , é considerado uma melhoria em relação ao algoritmo anterior? Faz sentido, no contexto da ciência da computação teórica, apresentar esse algoritmo?

18 algorithms 

Conheço pouca teoria dos tipos dependentes. Da wikipedia: Um tipo dependente é um tipo cuja definição depende de um valor. E do meu curso de teoria dos tipos, lembro que um tipo dependente é: Família de tipos indexados por um tipo. Mas eu tenho uma confusão sobre tipos dependentes e …

18 dependent-types  hoare-logic 

Eu tenho um problema de decisão NP-completo. Dada uma instância do problema, eu gostaria de criar um algoritmo que produza SIM, se o problema for possível e, NÃO, caso contrário. (Obviamente, se o algoritmo não for ideal, ele cometerá erros.) Não consigo encontrar algoritmos de aproximação para esses problemas. Eu …

18 algorithms  satisfiability  approximation  decision-problem 

Eu sou novo em teoria da linguagem de programação. Eu estava assistindo algumas palestras on-line nas quais o instrutor alegava que uma função com tipo polimórfico forall t: Type, t-&gt;tseria a identidade, mas não explicava o porquê. Alguém pode me explicar por quê? Talvez uma prova da reivindicação dos primeiros …

18 programming-languages  type-theory