Perguntas com a marcação «real-numbers»

Recentemente, um aluno me pediu para verificar uma prova de dureza NP para eles. Eles realizaram uma redução ao longo das linhas de: Reduzo esse problema P′P′P' que é conhecido como NP-completo para o meu problema (com uma redução de múltiplos de um tempo múltiplo), de modo que é NP-difícil.PPPPPP …

14 complexity-theory  reference-request  complexity-classes  real-numbers  computable-analysis 

A maioria dos tutoriais sobre o Cálculo Lambda fornece um exemplo em que números inteiros positivos e booleanos podem ser representados por funções. E quanto a -1 e eu?

14 data-structures  lambda-calculus  integers  real-numbers 

Como é possível decidir se possui alguma sequência de dígitos? ππ\pime inspirou a perguntar se a seguinte variação de aparência inocente é computável: f(n)={10if n¯ occurs in the decimal representation of πotherwisef(n)={1if n¯ occurs in the decimal representation of π0otherwisef(n) = \begin{cases} 1 & \text{if \(\bar n\) occurs in the …

11 computability  real-numbers 

O ponto flutuante atual (flutuante ANSI C, duplo) permite representar uma aproximação de um número real. Existe alguma maneira de representar números reais sem erros ? Aqui está uma ideia que tive, que é tudo menos perfeita. Por exemplo, 1/3 é 0,33333333 ... (base 10) ou 0,01010101 ... (base 2), …

10 binary-arithmetic  arithmetic  floating-point  real-numbers  number-formats 

O "teorema de Rice para os reais computáveis" - ou seja, nenhuma propriedade não trivial do número representado por um determinado real computável é decidível - é verdade? Isso corresponde de alguma maneira direta à conexão dos reais?

10 computability  real-numbers  computable-analysis 

O COQ é um provador de teoremas interativo que usa o cálculo de construções indutivas, ou seja, depende muito de tipos indutivos. Usando isso, estruturas discretas como números naturais, números racionais, gráficos, gramáticas, semânticas etc. são representadas de forma muito concisa. No entanto, como passei a gostar do assistente de …

8 probability-theory  coq  real-numbers  uncountability 

Suponha que tenhamos uma árvore na qual as folhas sejam rotuladas com um conjunto de números LLLe nós internos com um conjunto de operações OOO. Em particular LLL pode ser N,ZN,Z\mathbb{N}, \mathbb{Z} ou QQ\mathbb{Q}e, opcionalmente, pode conter ππ\pi e / ou eee. OOO pode ser qualquer subconjunto de {+,−,⋅,/, ^}{+,−,⋅,/, …

7 algorithms  turing-machines  real-numbers  equality