¿Cómo puedo configurar el tamaño del nodo de una imagen TikZ para que sea el mismo para todos los nodos?

¿Cómo puedo configurar el tamaño del nodo de una imagen TikZ para que sea el mismo para todos los nodos?

Estoy intentando dibujar una estructura Kripke en TikZ y, aunque en su mayor parte lo logro, no estoy del todo satisfecho con el resultado. Aquí está mi preámbulo:

\documentclass[10pt,letterpaper]{amsart}

% Personal Packages

\usepackage{notation}

% TikZ Drawing packages

\usepackage{tikz}
\usetikzlibrary{arrows}

% Font and Typography Settings

\usepackage{concrete}
\usepackage{euler}
\usepackage[english]{babel}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage[babel=true]{microtype}

seguir por mi MWE:

\begin{figure}
\begin{tikzpicture}[->,>=stealth',shorten >=1pt,auto,node distance=3cm,
    thick,base node/.style={circle,draw}, real node/.style={double,circle,draw}]

    \node[real node] (1) {$s(C)$};
    \node[base node] (2) [below left of=1] {$s(\alpha)$};
    \node[base node] (3) [below right of=1] {$\neg{s(\alpha)}$};
    \path[]
        (1) edge node[left] {$L,J$} (2)
            edge node[right] {$L,J$} (3)
            edge [loop above] node {$C$} (1)
        (2) edge [bend left] node {$C,L,J$} (3)
            edge [loop left] node {$C,L,J$} (2)
        (3) edge [bend left] node {$C,L,J$} (2)
            edge [loop right] node {$C,L,J$} (3);
\end{tikzpicture}
\caption{The initial state of the domain in Ex.~\ref{ex:whisper}.}
\end{figure}

La dificultad que tengo es que el nodo 3es más grande que el nodo 2(presumiblemente porque está cambiando de tamaño para adaptarse al texto de la etiqueta). ¿Hay alguna manera de que todos los nodos tengan el mismo tamaño? Además, cualquier sugerencia sobre cómo hacer que el diagrama sea más agradable desde el punto de vista estético sería muy apreciada (vengo de OmniGraffle y la transición es un poco difícil).

Respuesta1

Puedes usar la minimum size=clave:

\documentclass[10pt,letterpaper]{amsart}

% Personal Packages

%\usepackage{notation}

% TikZ Drawing packages

\usepackage{tikz}
\usetikzlibrary{arrows}

% Font and Typography Settings

\usepackage{concrete}
\usepackage{euler}
\usepackage[english]{babel}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage[babel=true]{microtype}

\begin{document}

\begin{figure}
\begin{tikzpicture}[->,>=stealth',shorten >=1pt,auto,node distance=3cm,
    thick,base node/.style={circle,draw,minimum size=35pt}, real node/.style={double,circle,draw,minimum size=35pt}]

    \node[real node] (1) {$s(C)$};
    \node[base node] (2) [below left of=1] {$s(\alpha)$};
    \node[base node] (3) [below right of=1] {$\neg{s(\alpha)}$};
    \path[]
        (1) edge node[left] {$L,J$} (2)
            edge node[right] {$L,J$} (3)
            edge [loop above] node {$C$} (1)
        (2) edge [bend left] node {$C,L,J$} (3)
            edge [loop left] node {$C,L,J$} (2)
        (3) edge [bend left] node {$C,L,J$} (2)
            edge [loop right] node {$C,L,J$} (3);
\end{tikzpicture}
\caption{The initial state of the domain in Ex.~\ref{ex:whisper}.}
\end{figure}

\end{document}

ingrese la descripción de la imagen aquí

Del manual de pgf:

Es mucho mejor utilizar la minimum sizeopción. Esta opción permite a Hagen especificar un tamaño mínimo que debe tener el nodo. Si los nodos realmente necesitan ser más grandes debido a un texto más largo, serán más grandes, pero si el texto está vacío, entonces el nodo tendrá un tamaño mínimo. Esta opción también es útil para garantizar que varios nodos que contienen diferentes cantidades de texto tengan el mismo tamaño.

información relacionada