Нахождение тупика

При программировании многопоточного приложения необходимо соблюдать осторожность, чтобы избежать блокировки различных потоков при доступе к общим ресурсам. Тупиковый происходит , когда поток пытается получить доступ к ресурсу , который заперт в другом потоке , в то же время, другой поток пытается получить доступ к ресурсу блокируется первым. Это простой случай, но он может стать более сложным с более длинными цепочками ресурсов.

Соревнование

Вы должны написать программу или функцию, которая может обнаружить возможную ситуацию взаимоблокировки в списке ресурсов, к которым обращается каждый поток. Это код-гольф, поэтому выигрывает самый короткий ответ в байтах.

Все потоки запускаются одновременно, но после этого они могут работать при любом сочетании чередования. Если есть 2 нити с 4 -х действиях каждого, она может быть запущена как (где каждое число представляет собой действие , предпринимаемое нити с этим идентификатором) 1,1,1,1,2,2,2,2, 2,2,2,2,1,1,1,1, 1,2,1,2,1,2,1,2, 1,1,2,2,2,2,1,1, или любой другой возможной комбинацией.

вход

Вы получите через STDIN, параметр функции или ближайшую альтернативу, список строк. Каждая строка будет в формате +a -b. Каждая из этих строк представляет блокировку ( +) / разблокировку ( -) ресурса потоком. Между каждым потоком будет ---разделитель. Гарантируется, что поток не будет пытаться заблокировать ресурс, который он уже заблокировал, и что все потоки будут явно разблокировать все ресурсы, которые они заблокировали перед выходом. Ниже приведен пример для демонстрации:

+a    # Lock resource a
+b    # Lock resource b
-a    # Unlock resource a
-b    # Unlock resource b
---   # Thread separator
+b    # Lock resource b
-b    # Unlock resource b

Выход

Выходные данные должны быть ложными, если входные данные не содержат никакой возможности взаимоблокировки, и правдивыми, если они содержат возможную ситуацию взаимоблокировки. Например:

• true
• false
• 1
• 0

все допустимые результаты, но все, что четко определено как правдивое / ложное, будет принято.

Примеры

+a
-a
---
+a
-a

Выход: false

+a
+b
-b
-a
---
+b
+a
-a
-b

Выход true

Тупик при попытке приобрести b,aсоответственно для потоков1,2

+a
+b
-a
-b
---
+a
+b
-b
-a

Выход false

+a
+b
-b
-a
---
+b
+c
-c
-b
---
+c
+a
-a
-c

Выход: true

Тупик в темах 1,2,3 при попытке приобрести b,c,aсоответственно.

http://pastebin.com/vMYRZxtW

Выход false

http://pastebin.com/V5MVgNgS

Выход true

Тупик в темах 1,2,3 при попытке добыть b,d,aсоответственно.

Конечно, это может быть намного сложнее, с большим количеством потоков, большим количеством ресурсов для каждого и так далее, но я считаю, что эти тесты охватывают основы.

бонус

Так как это очень и очень печально, когда вы находите тупиковые ситуации при написании программы, есть бонус -8 байт к выводу ответов :(и :)как к правде / ложности соответственно.

Python 2 - 227

По сути, убедитесь, что нет никаких циклов «приоритета». Например, во втором тесте первый поток имеет a(b)приоритет, а второй поток имеет b(a)приоритет.

Я думал о переписывании этого в Pyth, так как думаю, что это будет хорошо работать со всеми операциями itertools, но преобразование регулярного выражения потребует некоторой работы, поэтому сейчас я опубликую это и, возможно, постараюсь преобразовать его и опубликовать другой ответ позже.

from itertools import*
import re
f=lambda t:any(re.search(r"(.)((.)\3)+\1",''.join(p))for i in product(*[[m.group(1)+m.group(2)for m in re.finditer(r"(\w).*(\w).*\2.*\1",e,16)]for e in t.split('---')])for p in permutations(i))

Python - 586 539 524 501 485 байт - 8 = 477

Уровни отступов:

1: 1 space
2: 1 tab
3: 1 tab + 1 space
4: 2 tabs

-

import sys
V=set()
t=[[[]]]
for r in sys.stdin:
 r=r.strip()
 if'---'==r:t.append([[]])
 else:v=r[1:];V.add(v);l=t[-1][-1];t[-1].append(l+[v]if'+'==r[0]else filter(lambda x:x!=v,l))
s=lambda l:s(l[1:])+map(lambda x:(l[0],x),l[1:])if 1<len(l)else[]
E=reduce(set.union,map(lambda x:set(sum(map(s,x),[])),t),set())
for v in V:
 k=set();q=[v]
 while 0<len(q):
    u=q.pop(0)
    if u in k:continue
    k.add(u)
    for x,y in E:
     if u==x:
        if y in k:print':(';sys.exit()
        else:q.append(y)
print':)'