Ë
    D^(hî  ã                   ó`   — d Z ddlZddlmZmZ dgZ ed«      ej                  d„ «       «       Zy)zSemiconnectedness.é    N)Únot_implemented_forÚpairwiseÚis_semiconnectedÚ
undirectedc                 ó   ‡— t        | «      dk(  rt        j                  d«      ‚t        j                  | «      syt        j                  | «      Št        ˆfd„t        t        j                  ‰«      «      D «       «      S )aÝ  Returns True if the graph is semiconnected, False otherwise.

    A graph is semiconnected if and only if for any pair of nodes, either one
    is reachable from the other, or they are mutually reachable.

    This function uses a theorem that states that a DAG is semiconnected
    if for any topological sort, for node $v_n$ in that sort, there is an
    edge $(v_i, v_{i+1})$. That allows us to check if a non-DAG `G` is
    semiconnected by condensing the graph: i.e. constructing a new graph `H`
    with nodes being the strongly connected components of `G`, and edges
    (scc_1, scc_2) if there is a edge $(v_1, v_2)$ in `G` for some
    $v_1 \in scc_1$ and $v_2 \in scc_2$. That results in a DAG, so we compute
    the topological sort of `H` and check if for every $n$ there is an edge
    $(scc_n, scc_{n+1})$.

    Parameters
    ----------
    G : NetworkX graph
        A directed graph.

    Returns
    -------
    semiconnected : bool
        True if the graph is semiconnected, False otherwise.

    Raises
    ------
    NetworkXNotImplemented
        If the input graph is undirected.

    NetworkXPointlessConcept
        If the graph is empty.

    Examples
    --------
    >>> G = nx.path_graph(4, create_using=nx.DiGraph())
    >>> print(nx.is_semiconnected(G))
    True
    >>> G = nx.DiGraph([(1, 2), (3, 2)])
    >>> print(nx.is_semiconnected(G))
    False

    See Also
    --------
    is_strongly_connected
    is_weakly_connected
    is_connected
    is_biconnected
    r   z-Connectivity is undefined for the null graph.Fc              3   óH   •K  — | ]  \  }}‰j                  ||«      –— Œ y ­w)N)Úhas_edge)Ú.0ÚuÚvÚHs      €új/var/www/skyplay_api_hub/venv/lib/python3.12/site-packages/networkx/algorithms/components/semiconnected.pyú	<genexpr>z#is_semiconnected.<locals>.<genexpr>G   s    øè ø€ ÒM¡D A qˆq�z‰z˜!˜Q×ÑMùs   ƒ")ÚlenÚnxÚNetworkXPointlessConceptÚis_weakly_connectedÚcondensationÚallr   Útopological_sort)ÚGr   s    @r   r   r   	   si   ø€ ôh ˆ1ƒv�‚{Ü×)Ñ)Ø;ó
ð 	
ô ×!Ñ! !Ô$Øä
�‰˜Ó€AäÓM¬H´R×5HÑ5HÈÓ5KÓ,LÔMÓMÐMó    )	Ú__doc__Únetworkxr   Únetworkx.utilsr   r   Ú__all__Ú_dispatchabler   © r   r   ú<module>r      s?   ðÙ ã ß 8àÐ
€ñ �\Ó"Ø×Ññ<Nó ó #ñ<Nr   