0 / 0 / 0
Регистрация: 25.05.2012
Сообщений: 52

Проверить, является ли заданный граф связным

25.05.2012, 18:30. Показов 4015. Ответов 2
Метки нет (Все метки)

Студворк — интернет-сервис помощи студентам
Помогите, пожалуйста, исправить ошибку!!!
Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
edge(a, c).
edge(a, b).
edge(c, d).
edge(b, d).
edge(e, d).
 
e(A,B):-edge(A,B);edge(B,A). %budem schitat, chto graf nenapravlenii
 
%vspomogatelnii predikat member(E,L), proveryayushii prinadlezit li element E spisku L
member(H,[H|_]). %esli element raven golove spiska, to rezultat polozitelnii
member(X,[_|Tail]):-member(X,Tail). %esli element vstrechaetsya v hvoste spiska, to rezultat polozitelnii
 
path(A,B,P):-p(A,[B],P).%ishem put ot konechnoi vershini v nachalnuyu. Ishodnii put budet sostoyat iz odnoi konechnoi vershini
 
p(A,[A|Tail],[A|Tail]).%esli tekushaya vershina v nashem puti ravna nachalnoi, to etot put yavlyaetsya iskomim
p(A,[B|Tail],P):-e(B,C,_),not(member(C,Tail)),p(A,[C,B|Tail],P). %B-tekushaya vershina puti
 
%not_connected - vspomogatelnii predicat, proveryayushii est li v grafe nesvyazannaya para vershin
not_connected:- e(A,_),e(B,_), A<>B, not(path(A,B,P)). %istenen, esli est dve vershini, dlya kotorih ne vipolnim predicat path
 
%is_connected
is_connected:-not(not_connected).%graf svyazan, esli net ne svyazannoi pari vershin
пишет ошибку, что в 19 строке пропущен оператор(((( вроде всё на месте.
0
IT_Exp
Эксперт
34794 / 4073 / 2104
Регистрация: 17.06.2006
Сообщений: 32,602
Блог
25.05.2012, 18:30
Ответы с готовыми решениями:

Определить, является ли связным заданный граф
Определить, является ли связным заданный граф

Проверить является ли заданный граф блоком SWI prolog
Граф задается списком ребер, нужно проверить является ли заданный граф блоком на SWI prolog. Блок - связный, непустой, не имеющий...

Определить, является ли заданный граф связным
Пожалуйста, помогите, очень-очень нужна ваша помощь в задании: &quot;определить является ли заданный граф связным&quot;.

2
 Аватар для Грымзик
2507 / 1483 / 37
Регистрация: 14.09.2009
Сообщений: 2,740
25.05.2012, 18:54
A<>B замените на A\=B или not(A=B)
1
0 / 0 / 0
Регистрация: 25.05.2012
Сообщений: 52
25.05.2012, 19:25  [ТС]
СПАСИБО БОЛЬШОЕ!!!! Помогло))

Только теперь выдаёт yes на любой граф((((

Добавлено через 15 минут
последняя версия! работает!

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
edge(a, c).
edge(a, b).
edge(c, d).
edge(b, d).
edge(e, d).
 
e(A,B):-edge(A,B);edge(B,A). %budem schitat, chto graf nenapravlenii
 
%vspomogatelnii predikat member(E,L), proveryayushii prinadlezit li element E spisku L
member(H,[H|_]). %esli element raven golove spiska, to rezultat polozitelnii
member(X,[_|Tail]):-member(X,Tail). %esli element vstrechaetsya v hvoste spiska, to rezultat polozitelnii
 
path(A,B,P):-p(A,[B],P).%ishem put ot konechnoi vershini v nachalnuyu. Ishodnii put budet sostoyat iz odnoi konechnoi vershini
 
p(A,[A|Tail],[A|Tail]).%esli tekushaya vershina v nashem puti ravna nachalnoi, to etot put yavlyaetsya iskomim
p(A,[B|Tail],P):-e(B,C),not(member(C,Tail)),p(A,[C,B|Tail],P). %B-tekushaya vershina puti.
 
%not_connected - vspomogatelnii predicat, proveryayushii est li v grafe nesvyazannaya para vershin
not_connected:-e(A,_),e(B,_),A\=B,not(path(A,B,_)).%istenen, esli est dve vershini, dlya kotorih ne vipolnim predicat path
 
%is_connected
is_connected:-not(not_connected).%graf svyazan, esli net ne svyazannoi pari vershin
0
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
BasicMan
Эксперт
29316 / 5623 / 2384
Регистрация: 17.02.2009
Сообщений: 30,364
Блог
25.05.2012, 19:25
Помогаю со студенческими работами здесь

Проверить , является ли граф связным
Доброго времени суток. В очередной раз без Вашей помощи не обойтись!!!!!! ЗАДАНИЕ: Дан неориентированный граф, содержащий n вершин....

Является ли граф связным
В задаче нужно определить является ли неориентированный граф связным. Нужно использовать стек. Только начал изучать Java, а задача сложная...

Определить является ли граф связным
Нужно определить является ли граф связным. Но при работе программы появляется ошибка при нажатии на кнопку, которая определяет связный граф...

Определить, является ли заданный граф двудомным
Написать программу на VB6, которая определяет, является ли заданный граф двудомным (теорема Кенига). Здравствуйте. Помогите мне пожалуйста....

Является ли планарным граф, заданный списком смежности?
Если да, нарисовать соответствующий плоский граф, если нет, доказать по признакам планарности. 1 | 2 5 8 2 | 1 3 7 3 | 2 4 6 8 ...


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
3
Ответ Создать тему
Опции темы

Новые блоги и статьи
Blazor и контроллер сервопривода IoT Meadow Maple
Wired 11.07.2025
Я решил разобраться, как можно соединить современные веб-технологии с миром "железа". Интересная комбинация получилась из Blazor в качестве веб-интерфейса и микроконтроллера Meadow с его веб-сервером. . .
Генерация OpenQASM из кода Q#
EggHead 10.07.2025
Летом 2024-го я начал эксперименты с библиотекой Q# Bridge, и знаете что? Она оказалась просто находкой для тех, кто работает на стыке разных квантовых экосистем. Основная фишка этой библиотеки -. . .
Изучаем новый шаблон ИИ-чата .NET AI Chat Web App
stackOverflow 10.07.2025
В . NET появилось интересное обновление - новый шаблон ИИ-чата под названием . NET AI Chat Web App. Когда я впервые наткнулся на анонс этого шаблона, то сразу понял, что Microsoft наконец-то. . .
Результаты исследования от команды ARP (июль 2025 г.)
Programma_Boinc 10.07.2025
Результаты исследования от команды ARP (июль 2025 г. ) Африканский проект по дождям (ARP) World Community Grid снова запущен! Мы рады поделиться обновленной информацией о нашем прогрессе с осени. . .
Angular vs Svelte - что лучше?
Reangularity 09.07.2025
Сегодня рынок разделился на несколько четких категорий: тяжеловесы корпоративного уровня (Angular), гибкие универсалы (React), прогрессивные решения (Vue) и новая волна компилируемых фреймворков. . .
Code First и Database First в Entity Framework
UnmanagedCoder 09.07.2025
Entity Framework дает нам свободу выбора, предлагая как Code First, так и Database First подходы. Но эта свобода порождает вечный вопрос — какой подход выбрать? Entity Framework — это. . .
Как использовать Bluetooth-модуль HC-05 с Arduino
Wired 08.07.2025
Bluetooth - это технология, созданная чтобы заменить кабельные соединения. Обычно ее используют для связи небольших устройств: мобильных телефонов, ноутбуков, наушников и т. д. Работает она на частоте. . .
Руководство по структурам данных Python
AI_Generated 08.07.2025
Я отчетливо помню свои первые серьезные проекты на Python - я писал код, он работал, заказчики были относительно довольны. Но однажды мой наставник, взглянув на мою реализацию поиска по огромному. . .
Тестирование энергоэффективности и скорости вычислений видеокарт в BOINC проектах
Programma_Boinc 08.07.2025
Тестирование энергоэффективности и скорости вычислений видеокарт в BOINC проектах Опубликовано: 07. 07. 2025 Рубрика: Uncategorized Автор: AlexA Статья размещается на сайте с разрешения. . .
Раскрываем внутренние механики Android с помощью контекста и манифеста
mobDevWorks 07.07.2025
Каждый Android-разработчик сталкивается с Context и манифестом буквально в первый день работы. Но много ли мы задумываемся о том, что скрывается за этими обыденными элементами? Я, честно говоря,. . .
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2025, CyberForum.ru