Ориентированный псевдограф
![](https://st.testna5.ru/images/77f/77fc1bd03ca289943d9fe65e5e635d57.png)
, множество вершин которого
![](https://st.testna5.ru/images/708/708f9b79c670711ff81b695a6c91d4e3.png)
, задан описанием по Бержу.
Отображение
![](https://st.testna5.ru/images/19d/19db5767c4aa0a61e7d224f6ce13cad9.png)
, где
![](https://st.testna5.ru/images/5fb/5fbf8c65893a5ac6e0e72314348418bd.png)
– множество всех подмножеств множества
![](https://st.testna5.ru/images/434/434301284fad537be9ffe0ca0fe351d6.png)
, определено следующим образом:
![](https://st.testna5.ru/images/241/2410cf7390a4f615a1941d8b1d8cfc44.png)
,
![](https://st.testna5.ru/images/91c/91c3d1f9132d61333194dfd3149ff372.png)
,
![](https://st.testna5.ru/images/ccf/ccf2b351cc67ca0cb7729cf6900cff79.png)
,
![](https://st.testna5.ru/images/9f2/9f214bc16cab212957c979ee3a53c4b8.png)
,
![](https://st.testna5.ru/images/3cf/3cf18d97d6d9cbdc83a796c056ad39d1.png)
,
![](https://st.testna5.ru/images/9f9/9f9fbc1bf78dd82e1e935f8fd23fa9af.png)
,
![](https://st.testna5.ru/images/3cb/3cbd1cae15c9fdbdc8b353cfcca72bff.png)
.
Подграфы графа
![](https://st.testna5.ru/images/add/add4c7e3c7848bd23cefab8ee1f8c5ee.png)
описываются как подмножества множества
![](https://st.testna5.ru/images/d0b/d0b1427cda0017f24259390ca5366669.png)
, при этом подразумевается, что в подграф входят все дуги и петли графа
![](https://st.testna5.ru/images/67d/67d9a14283de58821552b8f5e5f32fdb.png)
, инцидентные вершинам, перечисленным в подмножестве.
Тогда сильно связанным подграфом графа
![](https://st.testna5.ru/images/3e4/3e4b89e53326bb3e80815fdd83247c51.png)
не является подграф …