En 1 me parece que está bien la solución porque el identificador circuitos aparece dos veces: como campo de rep_Asignaciones en donde es un arreglo de structs y como parámetro de crearAsig en donde es un arreglo de String. En donde mencionás circuitos[i] es un String.
En 2, como decís es lo mismo y proviene de un teorema que se llama justamente regla del máximo pero también regla de la suma. En realidad el tiempo de ejecución es la suma de los tiempos y por ahí debemos empezar. Como consecuencia de la regla mencionada sabemos que para calcular el orden no necesitamos hacer la suma sino que alcanza con determinar cuál es el máximo.