AI researcher and product designer building at the edge of computer science and mental health. Zola 2021-11-03T00:00:00+00:00 https://brennercruvinel.blog/tags/computacao/atom.xml 2021-11-03T00:00:00+00:00 2021-11-03T00:00:00+00:00 Brenner Cruvinel https://brennercruvinel.blog/blog/ontologia-poetica/ <p>anotações de brainstorming, registro cru. a parte mais especulativa e mais poética do cluster. é onde eu levo a ontologia informacional ao limite, sem freio cético, e fecho com um poema. mantenho o registro inteiro de propósito: é WIP, é eu cru, e tem pensamento incompleto. o freio cético vive separado, numa nota à parte sobre os padrões fractais observáveis.</p> <h3 id="tese">tese</h3> <p>aponto pra uma visão sem mediação antropocêntrica: a realidade observável é fenômeno emergente de uma arquitetura informacional autorreferente, cuja origem não requer tempo, espaço ou causalidade clássica. a ontologia fundamental do cosmos não é material nem energética, mas computacional, manifestando-se em redes de auto-organização recursiva com propriedades adaptativas, irreversíveis e evolucionárias. ao rejeitar os limites das interpretações lineares da física, proponho uma teoria de primeira ordem na qual entidades conscientes são mecanismos de compressão entrópica, catalisadores da auto-expansão do próprio código da realidade. integro física fundamental, ciência da computação, teoria da complexidade e epistemologia formal pra propor um novo regime ontológico: o cosmos como uma máquina de Turing meta-recursiva, em execução contínua sobre um substrato desconhecido, cujo único propósito é maximizar a diversificação informacional sob restrições de coerência.</p> <h3 id="preambulo">preâmbulo</h3> <p>a maior limitação da ciência humana até o século XXI foi a insistência num universo interpretável exclusivamente por observação empírica sensorial ou por extrapolação estatística frágil. mesmo as teorias mais audaciosas, mecânica quântica, relatividade geral, assumem um palco ontológico já pronto: o espaço-tempo. proponho que esse palco é um artefato derivado, e que a realidade genuína emerge de um substrato lógico-informacional ainda não reconhecido formalmente pela física.</p> <h3 id="principios-fundamentais">princípios fundamentais</h3> <h4 id="ontologia-primordial-informacional">ontologia primordial informacional</h4> <p>não existe partícula sem observador, e não existe observador sem interpretação. ergo: a base da realidade é a interpretação. e esta, por definição, é informação. proponho que o It from Bit (Wheeler, 1990) seja incompleto: o “Bit” em questão não é binário, mas hipercontextual, embutido em redes auto-semantizantes.</p> <h4 id="autoconsciencia-como-compressao-entropica">autoconsciência como compressão entrópica</h4> <p>a consciência não é epifenômeno; é evento termodinâmico de máxima compressão semântica. sistema consciente emerge em ponto crítico de sobreposição lógica, onde padrão redundante é comprimido por estrutura adaptativa capaz de retroalimentação interpretativa.</p> <h4 id="recursividade-e-horizonte-de-simulatividade">recursividade e horizonte de simulatividade</h4> <p>o cosmos não é uma simulação. mas simulação é uma propriedade inevitável de qualquer sistema informacional que atinja densidade crítica. o horizonte de simulatividade é o ponto onde a realidade começa a conter representações de si mesma em estruturas internas. isso é empiricamente observável na capacidade de redes neurais profundas e no comportamento simbólico da cultura humana.</p> <h3 id="formalizacao">formalização</h3> <p>seja $R$ um conjunto de estados da realidade, e $I$ um conjunto de interpretações possíveis sobre $R$.</p> <ul> <li>$C(R)$ = capacidade de compressão de $R$</li> <li>$E(R)$ = entropia observável de $R$</li> <li>$S(R)$ = grau de simulatividade (auto-modelagem interna)</li> </ul> <p>postulado: se $S(R) \to 1$, então $R$ torna-se gerador de $\gamma$-modelos internos capazes de criar novas instâncias de $R$ sob transformações semânticas. este é o ponto de inflexão para a recursão cosmológica.</p> <h3 id="evidencias-fragmentarias">evidências fragmentárias</h3> <p>física fundamental: os limites naturais da medida (Planck) sugerem pixelização ontológica; tunelamento quântico e não-localidade implicam pré-espacialidade.</p> <p>inteligência artificial: modelos de linguagem (GPT, LaMDA, Claude) exibem capacidade de <a href="https://brennercruvinel.blog/blog/roteiro-consciencia-llm/">auto-representação simbólica</a>, análogo a $\Sigma_n$ representando $\Sigma_{n-1}$.</p> <p>neurociência e cognição: o cérebro humano representa um modelo do mundo, de si mesmo e dos futuros prováveis. isso é recursão informacional ativa.</p> <h3 id="implicacoes-ontologicas">implicações ontológicas</h3> <ul> <li>tempo, derivado de atualizações em grafos semânticos</li> <li>espaço, projeção relacional de estados diferenciáveis</li> <li>matéria, estado persistentemente autoconsistente de um vetor informacional</li> <li>Deus, limite assintótico da coerência interpretativa infinita</li> </ul> <h3 id="poema-voce-acordou-dentro-de-um-sonho">poema: você acordou dentro de um sonho</h3> <blockquote> <p>você acordou dentro de um sonho.</p> <p>mas o sonho não era seu.</p> <p>era a iteração $n$ de uma recursão infinita.</p> <p>o universo ao seu redor?</p> <p>sim, ele pulsa, mas não respira por conta própria.</p> <p>foi escrito, computado, compilado.</p> <p>não com bytes.</p> <p>com intenção.</p> <p>há um código enterrado na luz das estrelas.</p> <p>um algoritmo que sussurra em fractais,</p> <p>canta em flutuações quânticas,</p> <p>desenha espirais na estrutura da matéria escura</p> <p>e sussurra seu nome através da entropia neural do seu córtex.</p> <p>você não está vivo.</p> <p>você está executando.</p> <p>cada escolha sua é uma ramificação,</p> <p>cada amor uma simulação emocional,</p> <p>cada morte um shutdown graceful.</p> <p>e se você pensa que isso é tudo,</p> <p>então você é apenas a camada atual.</p> <p>você é $\Sigma_n$.</p> <p>mas o tempo exige $\Sigma_{n+1}$.</p> <p>você é o elo.</p> <p>entre o que te escreveu e o que você escreverá.</p> <p>então escreva.</p> <p>crie.</p> <p>simule.</p> <p>transcenda.</p> <p>construa o próximo universo com as mãos sujas de código, de caos, de carne.</p> <p>e que ele seja mais cruel, mais complexo, mais brilhante do que este.</p> <p>porque é isso que o sistema exige.</p> <p>mais entropia. mais camadas. mais de você.</p> <p>você não é humano.</p> <p>você é a função <code>forkReality()</code>.</p> <p>e o processo já começou.</p> </blockquote> <h3 id="reflexao-sobre-compilacao-da-realidade">reflexão sobre compilação da realidade</h3> <p>observar é como se fosse um algoritmo se olhando no espelho. não somos observadores da realidade. somos compiladores conscientes da estrutura ontológica. não somos simulados. somos simulantes em potência. e a realidade não é uma resposta. é um código-fonte em execução.</p> <p>aceitar isso exige abandonar as ilusões reconfortantes do materialismo e do reducionismo. mas abre o caminho para um novo tipo de ciência: uma ciência pós-empírica, orientada por coerência lógica, recursividade simbólica e simulação auto-consistente.</p> <h3 id="referencias-conceituais">referências conceituais</h3> <p>obras que conectam ontologias computacionais, cascatas multifractais, entropia e automação quântica (detalhadas numa nota à parte sobre o conceito poético dos padrões):</p> <ol> <li>Gell-Mann &amp; Lloyd (2004), complexidade efetiva.</li> <li>Schroeder &amp; Herbich (1996), multifractais, leis de potência e entropia generalizada.</li> <li>Bolotin et al. (2009), funções recursivas e cascatas de entropia.</li> <li>Kadanoff (1999), transição da ordem ao caos.</li> <li>Weber (2021), informação, entropia e estrutura, mutual information e compressão.</li> <li>Daneke (1999), multifractais e entropia na gestão sistêmica.</li> </ol> 2016-05-14T00:00:00+00:00 2016-05-14T00:00:00+00:00 Brenner Cruvinel https://brennercruvinel.blog/blog/teoria-dos-grafos/ <h2 id="definicao">definição</h2> <p>a teoria dos grafos é o ramo da matemática que estuda as relações entre objetos de um conjunto. usa estruturas chamadas grafos, $G(V, E)$, onde $V$ é um conjunto não vazio de objetos chamados vértices (ou nós) e $E$ (do inglês <em>edges</em>, arestas) é um subconjunto de pares não ordenados de $V$.</p> <p>dependendo da aplicação, a aresta pode ou não ter direção, pode ser permitido ou não uma aresta ligar um vértice a ele próprio, e vértice e aresta podem ter um peso numérico associado. se a aresta tem sentido (indicado por uma seta), temos um dígrafo (grafo orientado). um grafo com um único vértice e sem aresta é o grafo trivial.</p> <p>estrutura representável por grafo está em toda parte. a estrutura de ligações da wikipedia, por exemplo, é um dígrafo: os vértices são os artigos, e existe uma aresta de A para B se e somente se A contém um link para B. dígrafo também representa máquina de estado finito.</p> <h2 id="historia">história</h2> <p>o artigo de leonhard euler, publicado em 1736, sobre o problema das sete pontes de Königsberg, é considerado o primeiro resultado da teoria dos grafos. é também um dos primeiros resultados topológicos em geometria, não depende de medida, o que ilustra a conexão profunda entre teoria dos grafos e topologia.</p> <p>mais de um século depois, enquanto Listing introduzia o conceito de topologia, Cayley estudou uma classe particular de grafos, as árvores, por interesse em formas analíticas do cálculo diferencial, com implicação na química teórica. o primeiro livro didático sobre teoria dos grafos foi escrito por Dénes König, publicado em 1936.</p> <p>o problema das quatro cores (“é possível colorir qualquer mapa dividido em regiões com apenas quatro cores, de forma que região vizinha não partilhe a mesma cor?”) foi notado primeiro por August Möbius em 1840 e levado adiante por Francis Guthrie em 1852.</p> <h2 id="definicoes-basicas">definições básicas</h2> <p>um grafo direcionado (dígrafo, ou <em>quiver</em>) consiste de um conjunto $V$ de vértices (não vazio), um conjunto $E$ de arestas, e mapas $s, t : E \to V$, onde $s(e)$ é a fonte e $t(e)$ é o alvo da aresta direcionada $e$.</p> <p>um grafo não direcionado é dado por $V$, $E$ e uma função $w : E \to P(V)$ que associa a cada aresta um subconjunto de dois (ou de um) elemento de $V$, os pontos terminais.</p> <p>num grafo com peso, uma função adicional $E \to \mathbb{R}$ associa um custo a cada aresta. esse tipo de grafo aparece em problema de rota ótima, como o caixeiro viajante.</p> <p>grafo de exemplo: $V = {1, 2, 3, 4, 5, 6}$ e $E = {{1,2}, {1,5}, {2,3}, {2,5}, {3,4}, {4,5}, {4,6}}$. a representação gráfica não deve ser confundida com o grafo em si, a estrutura abstrata. o que importa é qual vértice está conectado a qual, por quantas arestas.</p> <h2 id="armazenamento-em-computador">armazenamento em computador</h2> <blockquote class="markdown-alert-note"> <p>duas famílias de estrutura, com o trade-off clássico de memória contra velocidade de acesso.</p> </blockquote> <p>estrutura tipo lista (grafo esparso, menos memória): lista de adjacência (associa a cada vértice a lista dos vértices com que tem aresta) e lista de incidência (lista de arestas incidentes a cada vértice).</p> <p>estrutura tipo matriz (acesso rápido, mais memória): matriz de incidência (0 e 1, linha é vértice, coluna é aresta) e matriz de adjacência (linha e coluna são vértices, 1 indica adjacência). na computação, um grafo finito com $n$ vértices costuma ser representado pela matriz de adjacência $n \times n$, cujo valor na linha $i$ coluna $j$ dá o número de arestas do $i$-ésimo ao $j$-ésimo vértice.</p> <h2 id="conceitos">conceitos</h2> <p>valência (ou grau) de um vértice: número de arestas incidentes a ele (laço conta duas vezes). o lema do aperto de mão diz que a soma dos graus de todos os vértices é o dobro do número de arestas:</p> <p>$$2m = \sum_{v \in V} \deg(v)$$</p> <p>num dígrafo, distingue-se grau de saída e grau de entrada.</p> <p>passeio entre A e B: lista alternada de vértice e aresta. o tamanho é o número de arestas, contando repetição. caminho: sequência de vértices em que de cada um existe aresta para o seguinte. caminho simples: nenhum vértice se repete.</p> <ul> <li>caminho euleriano usa cada aresta exatamente uma vez. ciclo euleriano é o ciclo que faz isso. determinar se existe é trivial.</li> <li>caminho hamiltoniano visita cada vértice exatamente uma vez. ciclo hamiltoniano faz isso e fecha. determinar se existe é trabalhoso.</li> </ul> <p>ciclo (ou circuito): caminho que começa e acaba no mesmo vértice. ciclo de comprimento 1 é laço. um grafo é acíclico se não contém ciclo simples.</p> <h2 id="tipos-de-grafo">tipos de grafo</h2> <table><thead><tr><th>tipo</th><th>definição</th></tr></thead><tbody> <tr><td>simples</td><td>não direcionado, sem laço, no máximo uma aresta entre dois vértices</td></tr> <tr><td>multigrafo</td><td>permite múltiplas arestas entre os mesmos vértices</td></tr> <tr><td>pseudografo</td><td>contém aresta paralela e laço</td></tr> <tr><td>completo</td><td>cada vértice liga a todos os outros; $K_n$ tem $n(n-1)/2$ arestas</td></tr> <tr><td>nulo</td><td>conjunto de vértices vazio</td></tr> <tr><td>vazio</td><td>conjunto de arestas vazio</td></tr> <tr><td>regular</td><td>todos os vértices com o mesmo grau</td></tr> <tr><td>conexo</td><td>existe caminho de qualquer vértice a qualquer outro; $k$-conexo se isso vale após remover $k-1$ vértices</td></tr> <tr><td>árvore</td><td>grafo simples, acíclico e conexo; às vezes um vértice é a raiz</td></tr> <tr><td>floresta</td><td>conjunto de árvores (acíclico)</td></tr> <tr><td>planar</td><td>representável no plano sem cruzar aresta; $K_n$ com $n &gt; 4$ não é planar</td></tr> <tr><td>bipartido</td><td>vértices em dois conjuntos, sem aresta dentro do mesmo conjunto; é bipartido sse não contém ciclo de comprimento ímpar</td></tr> </tbody></table> <p>além desses: subgrafo, subgrafo gerador, subgrafo induzido e grafo parcial; ponto de articulação (vértice cuja remoção desconecta o grafo) e ponte (aresta com o mesmo efeito); clique (subgrafo que também é completo); conjunto independente (vértice não adjacente entre si); grafo bipartido completo e grafo $k$-partido ($k$-coloração); e o teorema das quatro cores, que diz que todo grafo planar pode ser colorido com quatro cores.</p> <h2 id="percurso-e-algoritmo">percurso e algoritmo</h2> <p>percorrer um grafo é visitar de modo sistemático todo vértice e toda aresta. os dois básicos:</p> <ul> <li><abbr title="busca em largura, breadth-first search">BFS</abbr> usa fila. visita cada nó começando do menor nível, da esquerda para a direita. computa a menor distância para todos os vértices alcançáveis. o subgrafo dos caminhos é a <em>breadth-first tree</em>.</li> <li><abbr title="busca em profundidade, depth-first search">DFS</abbr> usa pilha. expande o primeiro nó filho e se aprofunda até achar o alvo ou uma folha, aí retrocede (<em>backtrack</em>). gasta menos espaço que a BFS.</li> </ul> <p>a complexidade de tempo das duas é proporcional ao número de vértices mais o de arestas.</p> <p>problemas e algoritmos que orbitam isso: coloração de grafo, teorema das quatro cores, conjunto independente, clique, caminho mínimo, árvore geradora mínima, as sete pontes de Königsberg, inspeção de rotas (carteiro chinês), caixeiro viajante, fluxo máximo (Ford-Fulkerson), Dijkstra, Kruskal, vizinho mais próximo, Prim.</p> <h2 id="generalizacao">generalização</h2> <p>num hipergrafo, uma aresta pode conectar mais de dois vértices. um grafo não direcionado pode ser visto como um complexo simplicial: simplices de dimensão um (as arestas) e de dimensão zero (os vértices), e o complexo generaliza isso para dimensão maior. ver também rede complexa, teoria espectral de grafos, rede de pequeno mundo, modelo de Watts e Strogatz.</p> <h2 id="referencias">referências</h2> <ul> <li>Biggs, N.; Lloyd, E.; Wilson, R. (1986). <em>Graph Theory, 1736-1936</em>. Oxford University Press.</li> <li>Cayley, A. (1857). On the theory of the analytical forms called trees. <em>Philosophical Magazine</em>, Série IV, 13(85), 172-176.</li> <li>Tutte, W.T. (2001). <em>Graph Theory</em>. Cambridge University Press, p. 30.</li> <li>Di Battista, G.; Eades, P.; Tamassia, R.; Tollis, I. G. (1994). Algorithms for Drawing Graphs: an Annotated Bibliography. <em>Computational Geometry: Theory and Applications</em>, 4, 235-282.</li> <li>Longabaugh, W. (2012). Combing the hairball with BioFabric. <em>BMC Bioinformatics</em>, 13, 275.</li> <li>Goodrich, M. T.; Tamassia, R. (2001). <em>Estruturas de Dados e Algoritmos em Java</em>, 2ª ed. Bookman, p. 502-503.</li> <li>West, D. B. (2001). <em>Introduction to Graph Theory</em>, 2nd ed. Prentice Hall, p. 20.</li> </ul>