Results 1 to 4 of 4

Math Help - What does chevron mean in set theory?

  1. #1
    Newbie
    Joined
    Sep 2008
    Posts
    2

    What does chevron mean in set theory?

    I am trying to pick through Karp's paper on computational complexity "reducibility among combinatorial problems". In it he defines a deterministic algorithm. I cannot understand the line:
    a finite aphabet [delta symbol] such that [delta symbol]* [chevron symbol] R = [null set symbol]
    Where I put chevron symbol is an inverted v (like logical and). What does this mean. An intersection symbol is shown later on so I assume that intersection symbol was available and would have been used if that was appropriate here.

    Of course one cannot google on a symbol whose name one does not know.

    Bob.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Junior Member
    Joined
    Sep 2008
    Posts
    34
    Does it say what R is?
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    Sep 2008
    Posts
    2
    The rest of it is:
    A countable set D (the domain)
    A countable set R (the range)
    a finite alphabet......... [as before]
    an encoding function e: d->[delta symbol]*
    a transition function [t like symbol]: [delta symbol]* -> [delta symbol]*[union symbol] R

    He is defining a model for all deterministic algorithms

    hth
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Junior Member
    Joined
    Sep 2008
    Posts
    34
    Got it, I think he means intersection and the chevron is a typo for intersection symbol.
    In the wider computer science context, my GUESS is that D is the problem domain, e is a "reasonable" (non-unary) encoding, R is the set of states, delta is the alphabet (finite set of symbols used to encode a problem d from D) and he is trying to say that the set of states and the set of alphabet symbols do not intersect.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Textbooks on Galois Theory and Algebraic Number Theory
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: July 8th 2011, 07:09 PM
  2. Group Theory - Sylow Theory and simple groups
    Posted in the Advanced Algebra Forum
    Replies: 16
    Last Post: May 16th 2009, 12:10 PM
  3. set theory
    Posted in the Algebra Forum
    Replies: 1
    Last Post: January 5th 2009, 07:14 PM
  4. Problems relating Theory of Automata (Computer Theory)
    Posted in the Advanced Math Topics Forum
    Replies: 0
    Last Post: October 17th 2007, 10:52 AM
  5. Set theORY
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: May 25th 2007, 08:01 PM

Search Tags


/mathhelpforum @mathhelpforum