Theoretical computer science
Welcome to the Theoretical computer science discussion forum. In this forum, you may ask questions, start new discussions, and view existing posts. Click here to create a discussion account.

Click on the Subscribe button to receive email notifications each time a new discussion is started in this forum.
Ask a Question
Start new Discussion
  Subject Replies Date
Hallo....i have a problem to solve regarding weigthed automata-in semirings(the automata are defined by matrices).. so i have to find the behaviour au... 0 1/23/2016
hallo 1G = ({S, A,B}, {a, i,m, o, p}, {S - AB,A- om,A-op,B-a,B-i}, S) 2G = ({S, A,B}, {a, g, n, u}, {S - AA, S -BB,A- na,AA- Anu,B - ga,BB ... 0 6/5/2014
Is the complexity of Max-SAT (\Theta_2^p) is the same as that of partial Max-SAT (I don't know this complexity), and less than weighted Max-SAT? 0 2/20/2014
 
x
OK