Ориентированный псевдограф
![](https://st.testna5.ru/images/4fd/4fd4084e059f1dc13ab5f416b3f9010d.png)
, множество вершин которого
![](https://st.testna5.ru/images/220/220c03e65fb2ad591416021e3ecdb397.png)
, задан описанием по Бержу.
Отображение
![](https://st.testna5.ru/images/e03/e03517ea20dd6b70baa444e06c1b489d.png)
, где
![](https://st.testna5.ru/images/42d/42d0ccb17d44c181520fcc91fdd9a7f3.png)
– множество всех подмножеств множества
![](https://st.testna5.ru/images/153/15346bd0399870e872db09af784c55ce.png)
, определено следующим образом:
![](https://st.testna5.ru/images/db5/db5cea0635c6087daf94e9072bf944d4.png)
,
![](https://st.testna5.ru/images/39c/39c5a4c1a78fa0f1a70edcbfa8f04b43.png)
,
![](https://st.testna5.ru/images/992/992580aa6288fb09fae49e2278599acc.png)
,
![](https://st.testna5.ru/images/53e/53e69e3fd8ad92874e96bd08c4c8a9bf.png)
,
![](https://st.testna5.ru/images/410/410845f1d0e2545634b05a77f09ae8c3.png)
,
![](https://st.testna5.ru/images/d6a/d6a9d7b0114f6ab1baca54fa4669f32a.png)
,
![](https://st.testna5.ru/images/d72/d72ccd0d95326de3f79ff7238a1fa226.png)
.
Подграфы графа
![](https://st.testna5.ru/images/819/81943109347b23f6b5dd0c1b78a192ea.png)
описываются как подмножества множества
![](https://st.testna5.ru/images/c47/c47407104b4400b7f835c7d5473fb891.png)
, при этом подразумевается, что в подграф входят все дуги и петли графа
![](https://st.testna5.ru/images/d3c/d3c178df968ffad6d537dc5c17184b06.png)
, инцидентные вершинам, перечисленным в подмножестве.
Тогда сильно связанным подграфом графа
![](https://st.testna5.ru/images/a8c/a8c411a41f61d5bd78a492f099e78ce9.png)
не является подграф …