Rhaseven7h Might be helpful to know ...
In case it is useful for someone, in the context of this challenge, a valid function is that which for a given input, ALWAYS gives the same output.
VALID Function
Given a
function f()that functions as:f(1)=1 f(2)=2 f(3)=3 f(2)=2 f(4)=1000
It is considered VALID, as outputs are always in a 1:1 relation with inputs, even although we don't know the exact way the relationship (function) works (i.e. we got no idea how f(4) gives 1000).
INVALID Function
A
function g()which functions as follows:g(1)=1 g(2)=333 g(3)=89 g(2)=777 g(4)=1000
The above function g, is NOT VALID, since, for input 2, we get two different results, first 333, then later we get 777.
NOTE : It is worth noting that multiple inputs may give the same output:
f(1)=99 f(2)=99 f(3)=99
Would still be a valid function.
xamadeus Nice explaination. I was confused by this notion too.
harjolgoo This practice's test cases do not concern about f(2)=2 f(3)=2 or f(1)=99 f(2)=99 f(3)=99
phi_ba Thank you, your explanation makes a whole lot more sense than the one which is provided.
jcacooper Good explanation. Another way to think about it that helps me (though if it doesn't help you, probably best just to forget about it) is to consider the result if I graphed the function. So if the x axis is x, and the y axis is f(x), then for a valid function, there should be no place along the x axis where I could draw a vertical line directly down or up and have that line intersect the function's curve/line in more than one place.
Using the examples given above, if you graphed the valid function outputs, you would see that there is only one output for each x input (i.e. only one spot on the graph for each x), and thus I cannot draw a vertical line intercepting the function in more than one place. That is NOT the case however with the invalid input, as I could draw a line and intercept the function's output for 2 at two places.
I hope this helps to clarify things for someone :)
zylviij Here is a template for haskell.
import Control.Monad valid :: [(Int, Int)] -> Bool valid f = -- code goes here -- main = do t <- fmap (read::String->Int) getLine forM [1..t] (\_->do n <- fmap (read::String->Int) getLine func <- forM [1..n] (\_->do fmap ((\[a, b]->(a,b)).map (read::String->Int).words) getLine :: IO (Int, Int)) putStrLn $ if valid func then "YES" else "NO")
knusprigekroete Thank you! Is there some good Haskell IO Tutorial? I struggle with reading from stdin and writing to stdout and spend much more time than necessary reading stackoverflow and hoogle just to write a million of ugly recursive functions to do it.
Fiorix use this as pattern for IO:
main :: IO () main = do n_temp <- getLine let n = read n_temp :: Int forM_ [1..n] $ \boh -> do q_temp <- getLine let q = read q_temp :: Int rawInput <- getMultipleLines q let input = [(read (words str !! 0) :: Int, read (words str !! 1) :: Int ) | str <- rawInput] -- here starts your code getMultipleLines :: Int -> IO [String] getMultipleLines n | n <= 0 = return [] | otherwise = do x <- getLine xs <- getMultipleLines (n-1) let ret = (x:xs) return ret
It works with most input format of HackerRank:
- First read and parse an integer (n_temp and n)
- For n times read another number from input called q and read the next q lines with getMultipleLines. It returns a list of q lines as strings.
- To parse the numbers inside a single line, use list comprehension to iterate on the lines and the function "words" to split the values. This code works if every line contains exactly two integers and put them in a list of type [(Int, Int)]
ProofOfPizza Thx! This is helpful. All this IO stuff was getting pretty ugly :)
wirefox That's still ugly, IMO. Here's my runner:
readInt x = read x :: Int main = putStr . unlines . run . (map readInt) . words =<< getContents
From run, you can just work with pure functions like the Haskell gods intended.
matthias_a how do you know how many lines to read? In a situation where a user is inputting a variable set of inputs, would this work?
If you run this it will just ask for inputs forever.
also, I think that you don't need to define your own read if your run function has a definition
run :: [Int] -> [String]wirefox HackerRank tells you all you need to know about the input, so it's a completely different situation from an arbitrary CLI. This approach works for the type of problems on this particular site, and for the typical use case where input comes from a terminating program or a file.
It actually won't run forever because of a handy thing called EOF.
Nice idea about the type sig, though.
matthias_a how would you write
ms <- forM [1..n] $ const $ getLine let d = M.fromList $ (\[x,y] -> (x,y)) . words <$> ms
on one line?
wirefox d <- M.fromList <$> map ((\[x,y] -> (x,y)) . words) <$> replicateM n getLine
matthias_a Why did you need to convert String to Int? and why did you need to put the numbers in tuples?
Tleilaxi I think there is a problem in the input of the tests case of OCaml. Just doing the simple
let a = read_int ();;
that should normally read the first line of the input (the number of tests cases), fail with the exception
"int_of_string"meaning that the conversion was impossible. There's probably an odd character or byte in the input that' s not displayed when it's printed, because when I copy/paste the inputs of the tests cases as displayed in my browser and run them with "Test against custom input", they execute without errors.
hector_pelletier Same problem here :c
jeremie_salvucci Same issue here. I finally wrote it using my own conversion functions.
vestail My strange scala solution.
object Solution { def main(args: Array[String]) { val n = io.StdIn.readInt() (1 to n).foreach { i => val k = io.StdIn.readInt() val list = (1 to k).map(x => io.StdIn.readLine.split("\\s+")(0)).toList if (list.distinct.size == list.size) println("YES") else println("NO") } } }
GeneralGrievous This input is a bit tricky. My code may help F# folks.
open System let readList n parser = Seq.initInfinite (fun _ -> Console.ReadLine()) |> Seq.take n |> Seq.map parser |> Seq.toList let parseRelation (s: string) = match s.Split(' ') with | [|x|] -> int x, None | [|k; v|] -> int k, Some (int v) | _ -> failwith "OhGodWhy" let readTestCase () = let n = int <| Console.ReadLine() readList n parseRelation let isFunc relations = relations |> Map.ofList |> Map.toSeq |> Seq.length |> (=) (List.length relations) let boolStr = function | true -> "YES" | false -> "NO" [<EntryPoint>] let main args = let t = int <| Console.ReadLine() Seq.initInfinite (fun _ -> readTestCase ()) |> Seq.take t |> Seq.map isFunc |> Seq.map boolStr |> Seq.iter (printfn "%s") 0
Goto10 Dude, this is a complete solution. But agreed, the goal of the task should be to design a function that can say if there's a 1-to-1 relation between input and output values, not struggling with I/O. The most challenging part, at least for me, is reading the input and transforming it to something usable and then mapping the results to "YES" or "NO" strings.
GeneralGrievous Yes. I quitted HackerRank challenges because I usually spend too much time adjusting input and output instead of solving the problem itself.
DechTech I tried to use your parser function and noticed it doesn't take into account the number of test cases (which is why the second int needs to be an option). So I added it and it parses the input as intended and without needing the pesky int option. Here,
let readList n parser = Seq.initInfinite (fun _ -> System.Console.ReadLine()) |> Seq.take n |> Seq.map parser |> Seq.toList let parseRelation (s: string) = match s.Split(' ') with | [|k; v|] -> int k, int v | _ -> failwith "OhGodWhy" let readTestCase () = let n = int <| System.Console.ReadLine() readList n parseRelation let readInput () = let n = int <| System.Console.ReadLine() Seq.initInfinite (fun _ -> readTestCase()) |> Seq.take n |> Seq.toList [<EntryPoint>] let main argv = printfn "%A" <| readInput() System.Console.ReadKey true |> ignore 0
As it is it'll only print the parsed input and wait before exiting, but it shouldn't be an issue to use it as a template to solve the challenge
jt_armstrong Any suggestions for how to do the stdin for this in haskell?
pancro Omitting type definitions and formalities (which are very important in the real world) I'd start from the building blocks and write an action (not a function) that reads a pair of values from a line and returns a tuple, something like this:
readPair :: IO (Int, Int) readPair = do text <- getLine let pairs = (read ((words text)!!0) :: Int, read((words text)!!1) :: Int) return pairs
readPair is clunky and can be written much more elegantly but you get the gist
then I'd write an action that reads a test case, which is made by an integer (the number of pairs) and a list of pairs, something like this:
readTestCase :: IO [(Int, Int)] readTestCase = do text <- getLine let n = read text :: Int replicateM n readPair
Finally I'd write an action that parses the first line (number of testcases) and calls readTestCase appropriately, aggregating all testcases in a list:
readInput :: IO [[(Int, Int)]] readInput = do text <- getLine let n = read text :: Int let cases = replicateM n readTestCase cases
Finally you can use this IO action in your main:
main :: IO () main = do testCases <- readInput -- process your test cases here
Hope you get the idea. This is not the most elegant way and it looks fairly procedural but many IO actions looks procedural by nature.
If this was a real world piece of code, I'd work on defing my own data type (e.g. a
Mappingcould be an(Int, Int)tupe, aPossibleFunctioncould be a list of mappings[Mapping], etc.)
karoyakani ... main = flip replicateM_ sub =<< readLn sub = putStrLn . (\b -> if b then "YES" else "NO") =<< sol <$> (readLn >>= getIntPairs) getIntList :: IO [Int] getIntList = fmap read <$> words <$> getLine getIntPairs :: Int -> IO [(Int, Int)] getIntPairs = flip replicateM getIntPair getIntPair :: IO (Int, Int) getIntPair = (,) <$> head <*> last <$> (fmap read . words <$> getLine) sol :: [(Int, Int)] -> Bool sol ps = ...
ebolinger Can anyone clarify what they mean by "a valid function"? My understanding is that each domain value must map to only 1 value in the range. But the relationship can be arbitrary.
Does the question imply one-to-one functions (where the inverse is also a function)?
Are they looking for relationships that can be represented by algebraic expressions? Why not trig functions?
pktippa As per the given constraints "x and y both are integers" it may not constitue to trig functions
slacker_hacker I was confused by this too. Have a go at submitting any old solution, then look at the cases for test 2 where the result should be 'NO' and it should all become clear.
methusaleh I too examined the test data, but got stumped by #2 in test 2 which flags as a valid function. At the end it changes from being a linear relationship into something quite different. I guess I am missing the intent of the question. e.g.
(97, 403) (98, 402) (99, 401) (100, 499)
ebolinger Hi All. After sleeping on it & debugging my I/O code, I prepended each result to a List, but forgot to call
.reversebefore printing! So my output was in the wrong order. For anyone looking for "what is a valid function", this is a good reference: https://en.wikipedia.org/wiki/Function_(mathematics)methusaleh Thanks. Armed with that link I was able to solve the problem. I admit I probably should have googled it first.
csixteen I'm having a hard time trying to figure out why is my CL code failing on HackerRank but not when I run locally:
(defun functions-or-not () (let ((x (read))) (labels ((f-or-not (n) (when (> n 0) (if (f-or-n) (format t "YES~%") (format t "NO~%")) (f-or-not (1- n))))) (f-or-not x)))) (defun split (s) (loop for i = 0 then (1+ j) as j = (position #\Space s :start i) collect (subseq s i j) while j)) (defun read-args (n) (if (= n 0) nil (let ((pair (split (read-line)))) (cons (list (parse-integer (first pair)) (parse-integer (second pair))) (read-args (1- n)))))) (defun f-or-n () (let* ((n (read)) (args (read-args n)) (domain (mapcar #'car args)) (lenDomain (length domain))) (= lenDomain (length (remove-duplicates domain))))) (functions-or-not)
I'm getting a huge stack trace as a Runtime Error, but the two lines that are bugging me are these:
4: (PARSE-INTEGER "" :START 0 :END NIL :RADIX 10 :JUNK-ALLOWED NIL) 5: (READ-ARGS 3)
I honestly don't understand how is this possible. Locally I'm using GNU CLISP 2.49.
Benjamin_A_Luna I am relative new with functional programming, this is the first time I use tuples. And I must say it, is hard to think functional, but is a beauty when you see the code :) Here is my complete solution in F#.
open System let getPairs x = let a = Console.ReadLine().Split() (a.[0] |> int, a.[1] |> int) let eval2 a list = List.forall (fun (b: (int * int)) -> ((fst a = fst b) && (snd a = snd b)) || fst a <> fst b) list let eval x = List.forall (fun (a: (int * int)) -> eval2 a x = true) x [<EntryPoint>] let main argv = let n = Console.ReadLine() |> int for t = 1 to n do let ncases = Console.ReadLine() |> int let cases = [for i = 1 to ncases do yield getPairs 0] if eval cases = true then Console.WriteLine("YES") else Console.WriteLine("NO") 0
jessecalato open System let readPair() = match Console.ReadLine().Split([|' '|]) |> Array.map Int32.Parse |> Array.toList with | x::y::[] -> x, y | _ -> failwith "Invalid pair" let readPairs n = let rec readPairs n r = match n with | 0 -> r | _ -> readPairs (n - 1) (readPair()::r) readPairs n [] let rec isFunction pairs = let rec f cur rem = match cur,rem with | (x1, y1), (x2, y2)::_ when x1 = x2 && y1 <> y2 -> "NO" | _, _::ps -> f cur ps | _ -> "YES" match pairs with | [_] | [] -> "YES" | p::ps -> match f p ps with | "NO" -> "NO" | _ -> isFunction ps let runTestCase() = let n = Console.ReadLine() |> Int32.Parse let pairs = readPairs n printfn "%s" (isFunction pairs) let rec runTestCases t = match t with | 0 -> () | _ -> runTestCase() runTestCases (t - 1) let t = Console.ReadLine() |> Int32.Parse runTestCases t
Sort 21 Discussions, By:
Please Login in order to post a comment